Laddar...

QR-kod

First Order Logic And Automated Theorem Proving

Bibliografiska uppgifter
Huvudupphovsman:	Gries, David
Materialtyp:	Printed Book
Publicerad:	Springer Publications 1996
Upplaga:	Ed.2

Liknande verk

Automated theorem proving: theory and practice
av: Newborn, Monty
Publicerad: (2001)

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

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

Symbolic, logic and mechanical theorem proving
av: Chang, Chin-Liang
Publicerad: (1973)

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

Current trends in hardware verification and automated theorem proving
av: Current trends in
Publicerad: (1989)

Mechanical geometry theorem proving
av: Chou, Shang-Ching
Publicerad: (1988)

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

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

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

First - order logic/
av: Smullyan, Raymond M.
Publicerad: (1995)

First order mathematical logic/
av: Margaris, Angelo
Publicerad: (1990)

First order categorical logic
av: Makkai, Michael
Publicerad: (1977)

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

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

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

Logical approach to discrete math
av: Gries, David
Publicerad: (1993)

Proving ground for U S neocolonialism /
av: Romandva, Z.
Publicerad: (1970)

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

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

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

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

The Logic Of Casual Order
av: James A Davis
Publicerad: (1985)

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

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

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

Minimax Theorems/
av: Willem, Michel
Publicerad: (1996)

Addition Theorems
av: Mann, Henry. B.
Publicerad: (1965)

Tauberian theorems /
av: Pitt H. R.
Publicerad: (1958)

Tauberian theorems /
av: Pitt, H. R.
Publicerad: (1958)

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

Programming with Higher-order Logic
av: Miller, Dale Nadathur, Gopalan
Publicerad: (2012)

Programming with Higher-Order Logic /
av: Miller,, Dale
Publicerad: (2012)

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

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

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

Automation
av: Arnstein, George E

Automation/
av: Bruton, Eric
Publicerad: (1961)

Modern Automation
av: Foster ,David
Publicerad: (1963)