11 treff

teorembevisføring
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
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
Current trends in hardware verification and automated theorem proving
G. Birtwistle, P. A. Subrahmanyam, editor...
Bok Språk ikke angitt 1989 · 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
Nonmonotonic logics : basic concepts, results, and techniques
Schlechta, Karl
Bok Engelsk 1997 · Vis mer
Handbook of Automated Reasoning. 1.

Bok Engelsk 2001 · Vis mer
Handbook of Automated Reasoning. 2.

Bok Engelsk 2001 · 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
Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
Oliver Bittel
Bok Tysk 1991 · Vis mer