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