76 treff

automatisk bevisføring notrbib real009781
Snitt og induksjon ved automatisk generering av bevis
Silvija S̆eres̆
Bok Bokmål 1996 · Vis mer
Bevissystemer for prosesser med felles variable
Kari Asheim
Bok Bokmål 1994 · Vis mer
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
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
Proofs without words : exercises in visual thinking
Roger B. Nelsen
Bok Engelsk 1993 · Vis mer
Automated theorem proving in software engineering
Schumann, Johann M. Ph.
Bok Engelsk 2001 · Vis mer
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Ontic : a knowledge representation system for mathematics
David A. McAllester
Bok Språk ikke angitt 1989 · Vis mer
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
Lincoln A. Wallen
Bok Engelsk 1990 · Vis mer
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Program development in computational logic : a decade of research advances in logic-based program development
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Bok Engelsk 2004 · 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
Datamatik. I. Begreber og metodik

Bok Dansk 1968 · Vis mer
Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
AISC 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Handbook of Automated Reasoning. 1.

Bok Engelsk 2001 · 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
Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998 · Vis mer
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience
Bok Engelsk 1992 · Vis mer
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2001 · Vis mer
Automated deduction in classical and non-classical logics : selected papers
Ricardo Caferra, Gernot Salzer (eds.)
Bok Engelsk 2000 · Vis mer
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers
Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
JavaSplitter : a Java implementation of variable splitting proof search
Karianne Ekern
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
An introduction to mathematical reasoning : numbers, sets and functions
Peter J. Eccles
Bok Engelsk 1997 · Vis mer
Isabelle : a generic theorem prover
Lawrence C. Paulson ; with contributions ...
Bok Engelsk 1994 · Vis mer
Incremental proof search in the splitting calculus
Christian Mahesh Hansen
Bok Engelsk 2004 · Vis mer
Efficient checking of polynomials and proofs and the hardness of approximation problems
Madhu Sudan
Bok Engelsk 1995 · Vis mer
Proof transformations in higher-order logic
Frank Pfenning
Bok Engelsk 1987 · Vis mer
An Herbrand theorem for a modal logic
Jervell, Herman Ruge
Bok Engelsk 1972 · Vis mer