Computational logic and proof theory
Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
Third Kurt Godel Colloquium, KGC'93
Gottlob, Georg
ed.
Leitsch, Alexander
ed.
Mundici, Daniele
ed.
text
gw
Berlin
Springer
1993
monographic
eng
348 p.
Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds.
Logic programming
Automatic theorem proving
QA76.9 A96 C66
Lecture notes in computer science ; no. 713
3540571841
080624
20260818084503.0