23 treff

bevisteori notrbib real011320
Basic proof theory
A.S. Troelstra, H. Schwichtenberg
Bok Engelsk 2000 · Vis mer
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
LOPSTR 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
LOPSTR 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Assumptions, efficiency and trust in non-interactive zero-knowledge proofs
Arne Tobias Ødegaard
Bok Engelsk 2022 · Vis mer
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 1994 · Vis mer
Vis flere utgaver
Vis flere utgaver
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more
Dan Gusfield
Bok Engelsk 2024 · Vis mer
The method of variable splitting
Roger Antonsen
Bok Engelsk 2008 · Vis mer
Proof and the art of mathematics
Joel David Hamkins
Bok Engelsk 2020 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
IJCAR 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
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
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Ute Schmid
Bok Engelsk 2003 · 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
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
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
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
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
IJCAR 2001
Bok Engelsk 2001 · 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
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
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
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures
COMPOS'97
Bok Engelsk 1998 · Vis mer