101 treff

automatic theorem proving
Principles of automated theorem proving
Duffy, David A
Bok Engelsk 1991 · Vis mer
Automated theorem proving in software engineering
Johann M. Schumann ; foreword by Donald L...
Bok Engelsk · Vis mer
Symposium on Automatic Demonstration : held at Versailles/France, December 1968
Symposium on Automatic Demonstration
Bok Engelsk 1970 · Vis mer
First-order logic and automated theorem proving
Melvin Fitting
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Automated theorem proving : theory and practice
Newborn, Monroe
Bok Engelsk 2001 · 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
Ontic : a knowledge representation system for mathematics
David A. McAllester
Bok Språk ikke angitt 1989 · Vis mer
Logic for computer science : foundations of automatic theorem proving
Jean H. Gallier
Bok Engelsk 1987 · Vis mer
Automated theorem proving : after 25 years /
Special Session on Automatic Theorem Proving
Bok Engelsk 1984 · 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
Logic for computer science : foundations of automatic theorem proving
Jean H. Gallier
Bok Språk ikke angitt 1986 · 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 : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
TPHOLs '99
Bok Engelsk 1999 · Vis mer
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
TPHOLs '98
Bok Engelsk 1998 · Vis mer
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
TPHOLs '97
Bok Engelsk 1997 · Vis mer
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
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Bok Engelsk 1995 · Vis mer
Mechanical theorem proving in geometries : basic principles
Wu, Wenjun
Bok Engelsk 1994 · 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
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993 · Vis mer
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Thomas F. Melham, Juanito Camilleri (eds....
Bok Engelsk 1994 · Vis mer
Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
HUG '93
Bok Engelsk 1994 · Vis mer
Verifying temporal properties of systems
Bradfield, J. C.
Bok Engelsk · Vis mer
Automated deduction : a basis for applications. I. Foundations

Bok Engelsk 1998 · Vis mer
Automated deduction : a basis for applications. III. Applications

Bok Engelsk 1998 · 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
Theory reasoning in connection calculi
Peter Baumgartner
Bok Engelsk 1998 · Vis mer