101 treff

bevisføring matematikk
Diskret matematikk og lineær algebra
Per-Even Kleive
Bok Bokmål 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Avskjærings- og søkestrategier i system for automatisk bevisføring
Dag Diesen
Bok Bokmål 1988 · Les boka på nett · Vis mer
Basic proof theory
A.S. Troelstra, H. Schwichtenberg
Bok Engelsk 1996 · Vis mer
Vis flere utgaver
Vis flere utgaver
Admissibility of logical inference rules
Rybakov, V.V.
Bok Engelsk 1997 · Vis mer
Proofs without words : exercises in visual thinking
Roger B. Nelsen
Bok Engelsk 1993 · Vis mer
Mathematical logic
by Joseph R. Shoenfield
Bok Engelsk 2001 · Vis mer
An accompaniment to higher mathematics
George R. Exner
Bok Engelsk 1996 · Vis mer
Ontic : a knowledge representation system for mathematics
David A. McAllester
Bok Språk ikke angitt 1989 · 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
The Chicago guide to writing about numbers
Jane E. Miller
Bok Engelsk 2004 · Vis mer
Principles of automated theorem proving
Duffy, David A
Bok Engelsk 1991 · Vis mer
A theory of formal deducibility
Curry, Haskell B.
Bok Språk ikke angitt 1957 · Vis mer
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
On the shape of mathematical arguments
A. J. M. van Gasteren ; foreword by Edsge...
Bok Engelsk 1990 · Vis mer
Bounded arithmetic
Samuel R. Buss
Bok Engelsk 1986 · Vis mer
Theory reasoning in connection calculi
Peter Baumgartner
Bok Engelsk 1998 · Vis mer
Randomness and Recurrence in Dynamical Systems
Nillsen, Rodney.
Bok Engelsk 2010 · 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
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
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Dieter Hutter, Werner Stephan (eds.)
Bok Engelsk 2005 · Vis mer
Charming proofs : a journey into elegant mathematics
Claudi Alsina, Roger B. Nelsen
Bok Engelsk 2010 · 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
Theories for admissible sets : a unifying approach to proof theory
Gerhard Jäger
Bok Engelsk 1986 · 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
Excursions in classical analysis : pathways to advanced problem solving and undergraduate research
Hongwei Chen
Bok Engelsk 2010 · Vis mer