76 treff

automatisk bevisføring notrbib real009781
Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
TPHOLs '96
Bok Engelsk 1996 · Vis mer
Logic for computer science : foundations of automatic theorem proving
Jean H. Gallier
Bok Engelsk 1987 · Vis mer
Mural : a formal development support system
[edited by] C. B. Jones ... [et al.] ; wi...
Bok Engelsk 1991 · Vis mer
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
K. H. Bläsius, U. Hedtstück, C.-R. Rollin...
Bok Engelsk 1990 · Vis mer
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
A resolution principle for a logic with restricted quantifiers
H.-J. Bürckert
Bok Engelsk 1991 · Vis mer
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990 : proceedings
European Workshop JELIA
Bok Engelsk 1991 · Vis mer
Skolem and Herbrand theorems in first order logic
Jervell, Herman Ruge
Bok Engelsk 1973 · Vis mer
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990
edited by Peter Aczel, Harold Simmons and...
Bok Engelsk 1992 · Vis mer
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
IJCAR 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
TYPES 2003
Bok Engelsk 2004 · Vis mer
A reflective theorem prover for the connection calculus
Bjarne Holen
Bok Engelsk 2005 · Vis mer
Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
LPAR 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Ute Schmid
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
TYPES 2002
Bok Engelsk 2003 · Vis mer
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
AISC 2002
Bok Engelsk 2002 · Vis mer
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
LPAR 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
TYPES 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
IJCAR 2001
Bok Engelsk 2001 · Vis mer
Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1999 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
TABLEAUX '99
Bok Engelsk 1999 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
TABLEAUX '98
Bok Engelsk 1998 · Vis mer
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997 · Vis mer
Nonmonotonic logics : basic concepts, results, and techniques
Schlechta, Karl
Bok Engelsk 1997 · Vis mer
First-order logic and automated theorem proving
Melvin Fitting
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver
Rippling : meta-level guidance for mathematical reasoning
Alan Bundy ... [et al.]
Bok Engelsk 2005 · Vis mer
Handbook of Automated Reasoning. 2.

Bok Engelsk 2001 · Vis mer
Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
Kurt Gödel Colloquium
Bok Engelsk 1997 · Vis mer
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
TABLEAUX '95
Bok Engelsk 1995 · Vis mer