53 treff

bevisføring matematikk databehandling
Avskjærings- og søkestrategier i system for automatisk bevisføring
Dag Diesen
Bok Bokmål 1988 · Les boka på nett · Vis mer
Ontic : a knowledge representation system for mathematics
David A. McAllester
Bok Språk ikke angitt 1989 · Vis mer
Proof and computation
NATO Advanced Study Institute on Proof and Computation
Bok Engelsk 1995 · Vis mer
Principles of automated theorem proving
Duffy, David A
Bok Engelsk 1991 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 1.

Bok Engelsk 2002 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 2.

Bok Engelsk 2002 · Vis mer
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Automated reasoning and its applications : essays in honor of Larry Wos
edited by Robert Veroff, with Gail W. Pie...
Bok Engelsk 1997 · Vis mer
Diagrammatic representation and reasoning
Michael Anderson, Bernd Meyer and Patrick...
Bok Engelsk 2002 · Vis mer
Current trends in hardware verification and automated theorem proving
G. Birtwistle, P. A. Subrahmanyam, editor...
Bok Språk ikke angitt 1989 · Vis mer
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castéran ; foreword b...
Bok Engelsk 2004 · Vis mer
Theory reasoning in connection calculi
Peter Baumgartner
Bok Engelsk 1998 · Vis mer
Automated deduction in geometry : second international workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings
International Workshop on Automated Deduction in Geometry
Bok Engelsk 1999 · Vis mer
First-order logic and automated theorem proving
Melvin Fitting
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 1997 · Vis mer
PX : a computational logic
Susumu Hayashi, Hiroshi Nakano
Bok Språk ikke angitt 1988 · Vis mer
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
PTCS 2001
Bok Engelsk 2001 · 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
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
TPHOLs 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
TABLEAUX '97
Bok Engelsk 1997 · Vis mer
Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
TABLEAUX '96
Bok Engelsk 1996 · 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
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
TPHOLs 2005
Bok Engelsk 2005 · Vis mer
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
TPHOLs 2002
Bok Engelsk 2002 · Vis mer
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
TPHOLs 2001
Bok Engelsk 2001 · Vis mer
Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
TPHOLs 2000
Bok Engelsk 2000 · Vis mer
The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos
Bok Engelsk 1996 · Vis mer
Theorem proving in higher order logics : 16[th] international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
TPHOLs 2003
Bok Engelsk 2003 · Vis mer