عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.713
QA
76
.
L28
Vol
.
713
کتابخانه
محل استقرار
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
3rd: 1993: Brno, Czech Republic
Berlin
Springer-Verlag
1993
xi, 348p.: ill., tables
Lecture notes in computer science; 317
Sponsored by Kurt Godel Society
Includes bibliographies
ISBN: 3540571841
Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
713
AU
AU Gottlob, Georg
AU Leitsch, Alexander, 1952-
AU Mundici, Daniele, 1946-
CO Kurt Godel Society
TI
SE
Kurt Godel Colloquium
