71 treff

bevisføring databehandling
Avskjærings- og søkestrategier i system for automatisk bevisføring
Dag Diesen
Bok Bokmål 1988 · Les boka på nett · Vis mer
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
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
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1997 · 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
Datamatik. I. Begreber og metodik

Bok Dansk 1968 · 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
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
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
JavaSplitter : a Java implementation of variable splitting proof search
Karianne Ekern
Bok Engelsk 2005 · 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
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
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
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Nonmonotonic logics : basic concepts, results, and techniques
Schlechta, Karl
Bok Engelsk 1997 · Vis mer
Incremental proof search in the splitting calculus
Christian Mahesh Hansen
Bok Engelsk 2004 · Vis mer