Jump to main content

yr 〜
yr

Search results 5

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

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
Paper図書
Matthias Baaz, Johann A. Makowsky (eds.)Springerc2003
Other Libraries in Japan
  • Author Heading...sky, Johann A. Kurt Gödel Colloquium

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

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings : pbk
Paper図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)Springerc1997
Other Libraries in Japan
  • Author HeadingKurt Gödel Colloquium Gottlob, Georg Leitsch, Alexa...

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Godel colloquium, KGC 2003 : Vienna, Austria, August 25-30, 2003 : proceedings. : Aug 2003, Vienna, Austria. (Lecture Notes in Computer Science ; 2803)

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Godel colloquium, KGC 2003 : Vienna, Austria, August 25-30, 2003 : proceedings. : Aug 2003, Vienna, Austria. (Lecture Notes in Computer Science ; 2803)
Paper図書
Springerc2003.<M17-04-965>
National Diet Library
  • Author Heading...of Technology) Kurt Gödel Colloquium (8th : 2003 : Vienna Universi...

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

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings : us : gw
Paper図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingKurt Gödel Colloquium Gottlob, Georg Leitsch, Alexa...

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlag1993.<M15-A9002>
National Diet Library
  • Author HeadingKurt Gödel Colloquium (3rd : 1993 : Brno, Czech Rep...

Reached to the end of result.

RSS