選択資料から書架並びで前後20冊ずつを表示します。
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
書庫2階
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
書庫2階
Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
書庫2階
Mathematics mechanization and applications / edited by Xiao-shan Gao and Dongming Wang
書庫2階
Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan
書庫2階
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow
書庫2階
Using sophisticated models in resolution theorem proving / David M. Sandford
書庫2階
The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub
書庫2階
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse
書庫2階
Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
書庫2階
Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], eds.
書庫2階
Automated reasoning with analytic tableaux and related methods : Inernational Conference, TABLEAUX'97, Pont-à Mousson, France, May 13-16, 1997 : proceedings / Dieder Galmiche, (ed.)
書庫2階
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.)
書庫2階
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.)
書庫2階
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)
書庫2階
Instantiation theory : on the foundations of automated deduction / J.G. Williams
書庫2階
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʾ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
書庫2階
Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright ... [et al.] (eds.)
書庫2階
Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty (eds.)
書庫2階
Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey (eds.)
書庫2階