188 treff

bevisføring
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990 : proceedings
European Workshop JELIA
Bok Engelsk 1991 · Vis mer
Skolem and Herbrand theorems in first order logic
Jervell, Herman Ruge
Bok Engelsk 1973 · Vis mer
Herbrand and Skolems theorems in infinitary languages
Jervell, Herman Ruge
Bok Engelsk 1972 · Vis mer
Herbrand and Skolem theorems in infinitary languages
by Herman Ruge Jervell
Bok Språk ikke angitt 1972 · Vis mer
The tools of mathematical reasoning
Tamara J. Lakins
Bok Engelsk 2016 · Vis mer
Chapter zero : fundamental notions of abstract mathematics
Schumacher, Carol.
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Proof and the art of mathematics
Joel David Hamkins
Bok Engelsk 2020 · Vis mer
Vis flere utgaver
Vis flere utgaver
The nature of statistical evidence
Bill Thompson
Bok Engelsk 2007 · Vis mer
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
Digital Evidence and Computer Crime
Casey, Eoghan.
Bok Engelsk 2004 · Vis mer
Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1996 · Vis mer
Charming proofs : a journey into elegant mathematics
Claudi Alsina, Roger B. Nelsen
Bok Engelsk 2010 · Vis mer
The art of proof : basic training for deeper mathematics
Matthias Beck, Ross Geoghegan
Bok Engelsk 2010 · Vis mer
Theorems, corollaries, lemmas, and methods of proof
Richard J. Rossi
Bok Engelsk 2006 · 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
Laws of men and laws of nature : the history of scientific expert testimony in England and America
Tal Golan
Bok Engelsk 2004 · Vis mer
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
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 - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2000 · Vis mer
Applied algebra for the computer sciences
Gill, Arthur
Bok Engelsk 1976 · Vis mer
Compactness and contradiction
Terence Tao
Bok Engelsk 2013 · Vis mer
The Kepler conjecture : the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson
edited by Jeffrey C. Lagarias
Bok Engelsk 2011 · Vis mer
Learning to Reason : An Introduction to Logic, Sets, and Relations
Rodgers, Nancy.
Bok Engelsk 2011 · Vis mer
The Seventeen provers of the world
Freek Wiedijk (ed.) ; foreword by Dana S....
Bok Engelsk 2006 · Vis mer
JavaSplitter : a Java implementation of variable splitting proof search
Karianne Ekern
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
A reflective theorem prover for the connection calculus
Bjarne Holen
Bok Engelsk 2005 · Vis mer
Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2005 · Vis mer
Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
LPAR 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver