188 treff

bevisføring
Automated theorem proving in software engineering
Schumann, Johann M. Ph.
Bok Engelsk 2001 · 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
Alltid, aldri eller noen ganger?
Oda Tingstad Burheim, Heidi Dahl, Ole Eng...
Bok Engelsk 2023 · 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
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
PTCS 2001
Bok Engelsk 2001 · 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
Excursions in classical analysis : pathways to advanced problem solving and undergraduate research
Hongwei Chen
Bok Engelsk 2010 · Vis mer
Incremental proof search in the splitting calculus
Christian Mahesh Hansen
Bok Engelsk 2004 · 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
Proofs and fundamentals : a first course in abstract mathematics
Ethan D. Bloch
Bok Engelsk 2000 · 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
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
Introduction to the theory of computation
Michael Sipser
Bok Engelsk 2013 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
Automated deduction in multiple-valued logics
Reiner Hähnle
Bok Engelsk 1993 · Vis mer
Proof transformations in higher-order logic
Frank Pfenning
Bok Engelsk 1987 · 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
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
Teaching and learning proof across the grades : a K-16 perspective
edited by Despina A. Stylianou, Maria L. ...
Bok Engelsk 2009 · Vis mer
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
K. H. Bläsius, U. Hedtstück, C.-R. Rollin...
Bok Engelsk 1990 · 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
Current trends in hardware verification and automated theorem proving
G. Birtwistle, P. A. Subrahmanyam, editor...
Bok Språk ikke angitt 1989 · Vis mer
Proofs from the book
Martin Aigner, Günter M. Ziegler
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
International Conference on Automated Deduction
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