Depotbiblioteket

"Death proof"

Grøssarar (film)
DVD Engelsk 2007

The burden of proof

Turow, Scott
Bok Engelsk 1991

Oxford proof

Stallwood, Veronica
Bok Engelsk 2002

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Luckhardt, Horst
Inngår i serie: Lecture notes in mathematics (306)
Bok Språk ikke angitt 1973

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

TYPES 2002
Inngår i serie: Lecture notes in computer science (2646)
Bok Engelsk c2003

Gödel's proof

Nagel, Ernest
Bok Engelsk 1989

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

TYPES 2003
Inngår i serie: Lecture notes in computer science (3085)
Bok Engelsk c2004

Types for proofs and programs : international workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

TYPES '96
Inngår i serie: Lecture notes in computer science (1512)
Bok Engelsk c1998

Using Z : specification, refinement, and proof

Woodcock, Jim
Inngår i serie: Prentice Hall international series in computer science
Bok Engelsk 1996

Mind the stop : a brief guide to punctuation with a note on proof-correction

Carey, G. V.
Inngår i serie: Penguin reference books
Bok Engelsk 1976

Discrete mathematics : proof techniques and mathematical structures

Penner, R. C.
Bok Engelsk c1999

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

Elisabeth Bouscaren (ed.)
Inngår i serie: Lecture notes in mathematics (1696)
Bok Engelsk c1998

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

TYPES 2000
Inngår i serie: Lecture notes in computer science (2277)
Bok Engelsk c2002

Proof theory : an introduction

Pohlers, Wolfram
Inngår i serie: Lecture notes in mathematics (1407)
Bok Språk ikke angitt 1989

Proof

Francis, Dick
Bok Engelsk 1985

Utilizing problem structure in planning : a local search approach

Hoffmann, Jörg
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2854)
Bok Engelsk c2003

Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings

HIP 2005
Inngår i serie: Lecture notes in computer science (3517)
Bok Engelsk c2005

The Nazi ancestral proof : genealogy, racial science, and the final solution

Ehrenreich, Eric
Bok Engelsk cop. 2007

Proof of heaven : a neurosurgeon's journey into the afterlife

Alexander, Eben
Bok Engelsk 2012

Proof theory and intuitionistic systems

Scarpellini, Bruno
Inngår i serie: Lecture notes in mathematics (212)
Bok Språk ikke angitt 1971

Types for proofs and programs : international workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

TYPES '99
Inngår i serie: Lecture notes in computer science (1956)
Bok Engelsk c2000

Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

TYPES '98
Inngår i serie: Lecture notes in computer science (1657)
Bok Engelsk c1999

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

TYPES 2004
Inngår i serie: Lecture notes in computer science (3839)
Bok Engelsk c2006

Proof and knowledge in mathematics

edited by Michael Detlefsen
Bok Engelsk 1992

Canonical equational proofs

Bachmair, Leo
Inngår i serie: Progress in theoretical computer science
Bok Engelsk 1991

Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre
Bok Engelsk 1976

Abel's proof : an essay on the sources and meaning of mathematical unsolvability

Pesic, Peter
Bok Engelsk cop. 2003

Proof

directed by: John Madden
DVD Engelsk c2006

Gross ideas : tales of tomorrow's architecture

editors : Edwina Attlee with Phineas Harp...
Bok Engelsk september 2019

a-ha: Hunting high and low

Bendel, Larissa
Inngår i serie: Morgenbladet topp 100 (3)
Bok Engelsk 2012

Absolute proof

James, Peter
Roman
Bok Engelsk 2018

Abels bevis : å løse det uløselige

Pesic, Peter
Bok Bokmål cop. 2005

Fellende bevis

Turow, Scott
Romaner
Bok Bokmål cop. 2007

Favoured Nations, 29 Aug-18 Oct, Moss, Norway 2009

Favoured Nations (utstilling)
Bok Engelsk 2009

Baby eller ikke

Giffin, Emily
Inngår i serie: Feelgood / Cappelen Damm
Romaner
Bok Bokmål 2015

Himmelen finnes : en nevrokirurgs fascinerende reise inn i døden og tilbake

Alexander, Eben
Bok Bokmål 2014

Himmelen finnes : en nevrokirurgs fascinerende reise inn i døden og tilbake

Alexander, Eben
Selvbiografier
Bok Bokmål 2013

Baby eller ikke

Giffin, Emily
Inngår i serie: Bag of fun
Romaner
Bok Bokmål 2008

Baby eller ikke

Giffin, Emily
Romaner
Bok Bokmål 2009

Sterke beviser

Francis, Dick
Bok Bokmål 1986 · Les på nett

Soul Theory
Språk ikke angitt 2014-11-17 · Forventes utgitt en.on.Comp

Arctic lights

[editor-in-chief: Arne C. Nilssen ; edito...
Inngår i serie: Way north
Bok Engelsk 2006

Author's guide for preparing manuscript and handling proof

Bok Engelsk 1950

Hugh Maclennan, Alex Lazzarino og E. Kent...
Bok Bokmål [1986]

[curators: Heidi Bjørgan ... [et al.] ; p...
Utstillingskataloger
Bok Engelsk 2014

Body of proof. The complete first season.

[created by Christopher Murphey]
Drama
DVD Flerspråklig [2012]

Body of proof. The complete second season.

[created by Christopher Murphey]
Drama
DVD Engelsk [2012]

Body of proof. The complete third season.

[created by Christopher Murphey]
Drama
DVD Flerspråklig 2013

Long Lasting Train
Språk ikke angitt 2025-06-27 · Forventes utgitt en.on.Comp