First-order logic and automated theorem proving

First-order logic and automated theorem proving

Saved in:

Bibliographic Details
Main Author:	Fitting, Melvin 1942-
Format:	Book
Published:	New York Springer 1996
Edition:	2nd ed
Series:	Graduate texts in computer science
Subjects:	Automatic theorem proving Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Principles of automated theorem proving
by: Duffy, David A
Published: (1991)

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)

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

The resolution calculus
by: Leitsch, Alexander
Published: (1997)

A proof theory for general unification
by: Snyder, Wayne 1955 - .
Published: (1991)

Handbook of automated reasoning
Published: (2001)

The automation of reasoning an experimenter's notebook with OTTER tutorial
by: Wos, Larry
Published: (1996)

Automated reasoning 33 basic research problems
by: Wos, Larry
Published: (1988)

Computational logic logic programming and beyond
Published: (2002)

Automated deduction in geometry revised papers, September 25 - 27, 2000
Published: (2001)

The Computer modelling of mathematical reasoning
by: Bundy, Allan
Published: (1983)

Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
Published: (1992)

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

Computational logic essays in honor of Alan Robinson
Published: (1991)

Automated reasoning introduction and applications
Published: (1992)

Diagrammatic representation and reasoning
Published: (2002)

Proof in VDM a practitioner's guide
Published: (1994)

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

Lectures on vanishing theorems
by: Esnault, Helene 1953-
Published: (1992)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

Logic
by: Tomassi, Paul
Published: (1999)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Symbolic logic
by: Thomas, James A
Published: (1977)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

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

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

What is mathematical logic?
Published: (1972)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

Waht is mathematical logic?
Published: (1972)