01148cam a2200301 a 4500 20260818084503.0 080624s1993 gw r 000|0 eng d 3540571841 .b10155375 QA76.9 A96 C66 Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds. Third Kurt Godel Colloquium, KGC'93 Berlin : Springer, 1993 348 p. Lecture notes in computer science ; no. 713 Logic programming Automatic theorem proving Gottlob, Georg, ed. Leitsch, Alexander, ed. Mundici, Daniele, ed. .b10155375 mngc u 150521 1 951012 m a u 0 mngc 14 Barcode : 30050003186839 CREATED : 1995-10-13 RECORD # : i10183619 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 20665 20665 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.9 A96 C66 30050003186839 2026-08-18 08:45:03 1 2026-08-18 14