01160cam a2200301 a 4500 20260818084503.0 080624s1997 gw r 100|0 eng | 3540633855 .b11685013 QA76.9 A96 K87 1997 Kurt Gödel Colloquium (5th : 1997 : Vienna, Austria) Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds. KGC '97 Berlin : Springer, 1997 348 p. Lecture notes in computer science ; no. 1289 Automatic theorem proving Gottlob, Georg, ed. Leitsch, Alexander, ed. Mundici, Daniele, ed. .b11685013 mngc - 190904 0 980610 m a - 0 mngc 14 Barcode : 30050004310859 CREATED : 1998-10-06 RECORD # : i12073428 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 20664 20664 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.9 A96 K87 1997 30050004310859 2026-08-18 08:45:03 1 2026-08-18 14