著者典拠情報

著者標目形：
Kurt Gödel Colloquium
属性：
Meeting
場所：
Brno;Vienna
日付：
1993;1997
から見よ参照形：
KGC
Gödel Colloquium
注記：
Computational logic and proof theory, 1993: CIP t.p. (Third Kurt Gödel Colloquium; KGC '93; Brno, Czech Republic, 08/24-27/93)
EDSRC:Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)(Springer, c1997)
著者典拠ID：
DA07561560


1.

図書
図書
1. Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (:pbk)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: 図書館
2.

図書
図書
2. Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: 図書館