عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 .K87 1993
QA
76
.
9
.
A96
.
K87
1993
کتابخانه
محل استقرار
103565
بهار۴۷
English
)20(
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Berlin
Springer-Verlag
1993
xi, 348 p. : ill. ; 24 cm
Lecture notes in computer science; 317
Sponsored by Kurt Godel Society
Includes bibliographical references
، Automatic theorem proving-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
76
.
9
.
A96
.
K87
1993
AU
Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
AU (groeG).G ,bolttoG
AU rednaxelA ,hcstieL 1952-
AU eleinaD ,icidnuM 1946-
CO Kurt Godel Society
TI
SE
Kurt Godel Colloquium )3rd: 1993: Brno, Czech Republic(
02
