Titre 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.

Adresse Bibliographique

Berlin ; New York : Springer-Verlag, 1993.

Exemplaires

Localisation	Cote	Statut
Innovative University Kline Collection	QA76.9.A96 K87 1993	AVAILABLE

Description	xi, 348 p : ill ; 24 cm.
Collection	Lecture notes in computer science ; 713
Notes	Sponsored by Kurt Gödel Society.
Bibliography	Includes bibliographical references.
Sujet	Automatic theorem proving -- Congresses.
	Logic, Symbolic and mathematical -- Congresses.
Autre Auteur	Gottlob, G (Georg)
	Leitsch, Alexander, 1952-
	Mundici, Daniele, 1946-
	Kurt Gödel Society.
ISBN	0387571841