Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

Kurt Gödel Colloquium

ID:DA07561560

Alias Name

KGC

Gödel Colloquium

Search authors sharing the same name

Search Results1-3 of 3

1

Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Matthias Baaz, Johann A. Makowsky (eds.)

Springer c2003 Lecture notes in computer science 2803

Available at 31 libraries
2

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

Springer c1997 Lecture notes in computer science 1289

: pbk

Available at 53 libraries
3

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

Springer-Verlag c1993 Lecture notes in computer science 713

: us , : gw

Available at 60 libraries

Search this author

Related Authors