188 treff

bevisføring
Bevis i straffesaker : utvalgte emner
Ragna Aarli, Mary-Ann Hedlund og Sverre E...
Bok Bokmål 2015 · Vis mer
Ulovlig beviserverv og bevisforbud i straffesaker
Runar Torgersen
Bok Bokmål 2009 · Vis mer
Avskjærings- og søkestrategier i system for automatisk bevisføring
Dag Diesen
Bok Bokmål 1988 · Les boka på nett · Vis mer
Snitt og induksjon ved automatisk generering av bevis
Silvija S̆eres̆
Bok Bokmål 1996 · Vis mer
Diskret matematikk og lineær algebra
Per-Even Kleive
Bok Bokmål 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Bevissystemer for prosesser med felles variable
Kari Asheim
Bok Bokmål 1994 · Vis mer
Admissibility of logical inference rules
Rybakov, V.V.
Bok Engelsk 1997 · Vis mer
The proof is in the pudding : the changing nature of mathematical proof
by Steven G. Krantz
Bok Engelsk 2010 · 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
Handbook of mathematical induction : theory and applications
David S. Gunderson
Bok Engelsk 2011 · Vis mer
An accompaniment to higher mathematics
George R. Exner
Bok Engelsk 1996 · Vis mer
Basic proof theory
A.S. Troelstra, H. Schwichtenberg
Bok Engelsk 1996 · Vis mer
Vis flere utgaver
Vis flere utgaver
The Chicago guide to writing about numbers
Jane E. Miller
Bok Engelsk 2004 · Vis mer
A theory of formal deducibility
Curry, Haskell B.
Bok Språk ikke angitt 1957 · Vis mer
Hvem har bevisbyrden? : tvilsrisikoen i sivile saker
Robberstad, Anne
Bok N 2021 · Vis mer
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Bounded arithmetic
Samuel R. Buss
Bok Engelsk 1986 · Vis mer
Explanation and proof in mathematics : philosophical and educational perspectives
Gila Hanna, Hans Niels Jahnke, Helmut Pul...
Bok Språk ikke angitt 2010 · Vis mer
Datamatik. I. Begreber og metodik

Bok Dansk 1968 · 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
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
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
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2001 · Vis mer
Automated deduction in classical and non-classical logics : selected papers
Ricardo Caferra, Gernot Salzer (eds.)
Bok Engelsk 2000 · Vis mer
Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings
Portuguese Conference on Artificial Intelligence
Bok Engelsk 1995 · Vis mer
Program development in computational logic : a decade of research advances in logic-based program development
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Bok Engelsk 2004 · Vis mer
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers
Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver