The resolution calculus

The resolution calculus

Saved in:

Bibliographic Details
Main Author:	Leitsch, Alexander
Format:	Book
Published:	New York Springer 1997
Subjects:	Automatic theorem proving
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

Handbook of automated reasoning
Published: (2001)

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

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

Diagrammatic representation and reasoning
Published: (2002)

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)

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

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 reasoning introduction and applications
Published: (1992)

Computational logic logic programming and beyond
Published: (2002)

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

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

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

The incompleteness phenomenon a new course in mathematical logic
by: Goldstern, Martin
Published: (1995)

A history of the central limit theorem from classical to modern probability theory
by: Fischer, Hans
Published: (2011)

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

ELEMENTARY BAYESIAN BIOSTATISTICS
by: Moye, Lemuel A.
Published: (2008)

Non-commutative Gelfand theories a tool-kit for operator theorists and numerical analysts
by: Roch, Steffen 1958-
Published: (2011)

Bayesian biostatistics
Published: (1996)

Limit theorems of probability theory
Published: (1975)

Normal approximation and asymptotic expansions
by: Bhattacharya, R. N. 1937- Rabindra Nath
Published: (2010)

Bayesian disease mapping hierarchical modeling in spatial epidemiology
by: Lawson, Andrew Andrew B.
Published: (2009)

Noncommutative geometry and Cayley-smooth orders
by: Le Bruyn, Lieven 1958-
Published: (2008)

Carleman's Formulas in Complex Analysis Theory and Applications
by: Aizenberg, Lev Abramovich 1937-
Published: (1993)

Biscuits of Number Theory
Published: (2009)

Treasures inside the bell hidden order in chance
by: Puente, Charlos E
Published: (2003)

Bayesian biostatistics and diagnostic medicine
by: Broemeling, Lyle D. 1939-
Published: (2007)

Automatic program construction techniques
Published: (1984)

Soft computing for intelligent control and mobile robotics
Published: (2010)

The Noether theorems invariance and conservation laws in the twentieth century
by: Kosmann-Schwarzbach, Yvette 1941-
Published: (2011)

Evaluating medical tests objective and quantitative guidelines
by: Kraemer, Helena Chmura
Published: (1992)

Neural networks for control and systems
Published: (1992)

Neural network applications in control
Published: (1995)

Studies in automatic programming logic
by: Manna, Zohar
Published: (1977)

Artificial neural network concepts and control applications
by: Vemuri, V. Rao
Published: (1992)