Loading...

QR Code

First Order Logic And Automated Theorem Proving

Bibliographic Details
Main Author:	Gries, David
Format:	Printed Book
Published:	Springer Publications 1996
Edition:	Ed.2

Similar Items

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

Higher order logic theorem proving and its applications
Published: (1993)

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-lidng
Published: (1973)

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

Current Trends In Hardware Verification And Automated Theorem Proving
by: G. Birtwistle, P A Subrahmanian
Published: (1989)

Current trends in hardware verification and automated theorem proving
by: Current trends in
Published: (1989)

Mechanical geometry theorem proving
by: Chou, Shang-Ching
Published: (1988)

Logic for computer science: foundations of automatic theorem proving
by: Gallier, Jean H; Author
Published: (1987)

Logic For Computer Science: Foundations Of Automatic Theorem Proving
by: Gallier, Jean H
Published: (1987)

Logic for computer science : Foundations of Automatic Theorem proving/
by: Gallier, Jean H.
Published: (1987)

First - order logic/
by: Smullyan, Raymond M.
Published: (1995)

First order mathematical logic/
by: Margaris, Angelo
Published: (1990)

First order categorical logic
by: Makkai, Michael
Published: (1977)

How to prove it : a structured approach /
by: Velleman, Daniel J.
Published: (2006)

Classical theory of first order logic
by: Pampapathy Rao, A; Author
Published: (1970)

Classical theory of first order logic
by: Pampapathy Rao, A; Author
Published: (1970)

Logical approach to discrete math
by: Gries, David
Published: (1993)

Proving ground for U S neocolonialism /
by: Romandva, Z.
Published: (1970)

Reading, writing, and proving : a closer look at mathematics /
by: Daepp, Ulrich
Published: (2003)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1986)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (2015)

Descriptive set theory and forcing: How to prove theorems about Borel sets the hard way
by: Miller, Arnold W
Published: (2016)

The Logic Of Casual Order
by: James A Davis
Published: (1985)

The materia medica of the Nosodes with provings of the X-ray
by: Allen, H C
Published: (1988)

How to prove a prima facie case /
by: Sepllman, Howard Hilton
Published: (1954)

Materia medica of the Nosodes with provings of the xRay. /
by: Allen, H. C.
Published: (1982)

Minimax Theorems/
by: Willem, Michel
Published: (1996)

Addition Theorems
by: Mann, Henry. B.
Published: (1965)

Tauberian theorems /
by: Pitt H. R.
Published: (1958)

Tauberian theorems /
by: Pitt, H. R.
Published: (1958)

Mathematics of logic: a guide to completnes, theorems and their applications/
by: Kaye, Richard
Published: (2007)

Programming with Higher-order Logic
by: Miller, Dale Nadathur, Gopalan
Published: (2012)

Programming with Higher-Order Logic /
by: Miller,, Dale
Published: (2012)

Addition theorems : Addition theorems of group theory and number theory /
by: Mann Henry B.
Published: (1965)

Selected topics in geometry with classical vs computer proving/
by: Pech, Pavel
Published: (2007)

Reading ,Writing, and Proving: a closer look at mathematics /
by: Daepp, Ulrich
Published: (2003)

Automation
by: Arnstein, George E

Automation/
by: Bruton, Eric
Published: (1961)

Modern Automation
by: Foster ,David
Published: (1963)

Cannot write session to /tmp/vufind_sessions/sess_ma02ua9jc9n2og7dldq9j8gv0t