83 treff

bevisteori
Bevisvurderingens rettslige rammer : bevistema, bevisbyrde, beviskrav
Markus Jerkø
Bok Bokmål 2017 · Vis mer
Omskrivningsteknikker i system for automatisk bevisføring Vedlegg D : programlisting
Gyene, Laszlo Reithaug
Bok Bokmål 1990 · Vis mer
Unifikasjon i bevissøk for ikke-klassiske logikker
Solveig Edvardsen
Bok Bokmål 2001 · Vis mer
Bevissystem i ABEL : en interaktiv bevishjelper
Olav Andree Brevik
Bok Bokmål 1998 · Vis mer
Bevisvurdering : usikkerhet og sannsynlighet
Erling Eide
Bok Bokmål 2016 · Vis mer
Basic proof theory
A.S. Troelstra, H. Schwichtenberg
Bok Engelsk 1996 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebra of proofs
M.E. Szabo
Bok Engelsk 1978 · Vis mer
Beviskraft : metod för bevisvärdering i brottmål
Christian Dahlman
Bok Svensk 2018 · Vis mer
Probability and inference in the law of evidence : the uses and limits of Bayesianism
edited by Peter Tillers and Eric D. Green...
Bok Engelsk 1988 · Vis mer
Skälig misstanke
Simon Andersson
Bok Svensk 2016 · Vis mer
Vis flere utgaver
Vis flere utgaver
Assumptions, efficiency and trust in non-interactive zero-knowledge proofs
Arne Tobias Ødegaard
Bok Engelsk 2022 · Vis mer
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
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Book of proof
Hammack, Richard H.
Bok Engelsk 2013 · Vis mer
Logical foundations of proof complexity
Stephen Cook, Phuong Nguyen
Bok Engelsk 2010 · 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
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
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
Proof and system-reliability
NATO Advanced Study Institute on Proof and System-Reliability
Bok Engelsk 2002 · Vis mer
Gödel's incompleteness theorems
Raymond M. Smullyan
Bok Engelsk 1992 · Vis mer
Natural deduction : a proof-theoretical study
av Dag Prawitz
Bok Engelsk 1965 · Vis mer
Skälig misstanke : en handbok /
Simon Andersson.
Bok Svensk 2017 · Vis mer
Proof theory
Herman Ruge Jervell
Bok Engelsk 2012 · Vis mer
JavaSplitter : a Java implementation of variable splitting proof search
Karianne Ekern
Bok Engelsk 2005 · 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
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