01293cam a2200313 a 4500 20260819084417.0 080624s1995 gw r 100|0 eng | 3540593381 .b11468890 QA76.9 A96 T33 1995 TABLEAUX (4th : 1995 : St. Goar, Germany) Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfel, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hahnle and Joachim Posegga, eds. Berlin : Springer, 1995 352 p. Lecture notes in artificial intelligence ; no. 918 Automatic theorem proving Congresses Nonclassical mathematical logic Congresses Logic, Symbolic and mathematical Congresses Baumgartner, Peter Hahnle, Reiner Posegga, Joachim .b11468890 mngc u 160107 0 960226 m a u 0 mngc 14 Barcode : 30050003181798 CREATED : 1996-02-26 RECORD # : i11721960 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 120080 120080 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA76.9 A96 T33 1995 30050003181798 2026-08-19 08:44:17 1 2026-08-19 14