Kurt Gödel Colloquium

ID:DA07561560

別名: KGC

Gödel Colloquium

同姓同名の著者を検索

検索結果3件中 1-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

所蔵館31館
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

所蔵館53館
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

所蔵館61館

この著者を外部サイトでさがす

関連著者

ページトップへ