Theorem proving with the real numbers/

Main Author:	Harrison, John
Format:	Book
Language:	English
Published:	Berlin: Springer, 1998
Series:	Distinguished dissertations
Subjects:	Proff theory

Similar Items

Distributed tableau theorem proving/
by: Johnson, Robert
Published: (1991)

Automated theorem proving : theory and practice /
by: Newborn, Monty
Published: (2001)

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1987)

Automated theorem proving in software engineering /
by: Schumann, Johann M., 1960-
Published: (2001)

The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
by: Plaisted, David A.
Published: (1999)

Addition theorems : the addition theorems of group theory and number theory /
by: Mann, Henry Berthold
Published: (1976)

The structure of the real number system/
by: Cohen, Leon Warren, 1903-
Published: (1963)

First-order logic and automated theorem proving/
by: Fitting, Melvin, 1942-
Published: (1990)

First-order logic and automated theorem proving
by: Fitting, Melvin, 1942-
Published: (1996)

First-order logic and automated theorem proving /
by: Fitting, Melvin, 1942-
Published: (1996)

Ergodic theorems
by: Krengel, Ulrich, 1937-
Published: (1985)

Ergodic theorems/
by: Krengel, Ulrich, 1937-
Published: (1985)

Ergodic theorems/
by: Krengel, Ulrich, 1937-
Published: (1985)

The prime number theorem/
by: Jameson, G. J. O.Graham James Oscar
Published: (2003)

Lectures on the h-cobordism theorem/
by: Milnor, John
Published: (1965)

Coding theorems of information theory/
by: Wolfowitz, Jacob, 1910-
Published: (1978)

Coding theorems of information theory/
by: Wolfowitz, Jacob, 1910-
Published: (1964)

The spectral theorem/
by: Helson, Henry
Published: (1986)

The spectral theorem/
by: Helson, Henry
Published: (1986)

Representations of real numbers by infinite series/
by: Galambos, Janos, 1940-
Published: (1976)

Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92/
Published: (1993)

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 :proceedings /
Published: (1997)

Bayes's theorem/
Published: (2002)

The fundamental theorem of arithmetic/
by: Kaluzhnin, L. A.
Published: (1979)

Coding theorems of information theory /
by: Wolfowitz, J.
Published: (1961)

On numbers and games/
by: Conway, John Horton
Published: (2001)

On numbers and games/
by: Conway, John Horton
Published: (1976)

Numbers/
Published: (1990)

Numbers
by: Ebbinghaus, H. D.
Published: (1991)

Lectures on Choquetʹs theorem/
by: Phelps, Robert Ralph, 1926-
Published: (2001)

The Lefschetz fixed point theorem/
by: Brown, Robert F., 1935-
Published: (1971)

Some limit theorems in statistics/
by: Bahadur, Raghu Raj, 1924-
Published: (1971)

Strong limit theorems/
by: Lin, Zhengyan
Published: (1992)

Fixed point theorems and their applications /
by: Farmakis, Ioannis.

Limit theorems for large deviations/
by: Saulis, L.
Published: (1991)

Limit theorems for stochastic processes/
by: Jacod, Jean
Published: (1987)

Points to prove/
by: Calligan, Stewart
Published: (1981)

Some limit theorems in statistics /
by: Bahadur, R. R.
Published: (1971)

Fermat's last theorem : a genetic introduction to algebraic number theory /
by: Edwards, Harold M.
Published: (1977)

Fermat's last theorem: a genetic introduction to algebraic number theory/
by: Edwards, Harold M.
Published: (1977)

Cannot write session to /tmp/vufind_sessions/sess_hungcn8a4egrp68mmhbvitfq74