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

Bibliographische Detailangaben

Körperschaften:	Kurt-Gödel-Gesellschaft (BerichterstatterIn), Kurt Gödel Colloquium (BerichterstatterIn)
Weitere Verfasser:	Gottlob, Georg (HerausgeberIn), Leitsch, Alexander (HerausgeberIn), Mundici, Daniele (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1997
Schriftenreihe:	Lecture notes in computer science 1289
Schlagworte:	Konferenzschrift > Computational logic > Beweistheorie
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!