Automated theorem proving theory and practice

Automated theorem proving theory and practice

Saved in:

Bibliographic Details
Main Author:	Newborn, Monroe
Format:	Book
Published:	New York Springer 2001
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 in software engineering
by: Schumann, Johann M 1960-
Published: (2001)

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

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

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

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)

Handbook of automated reasoning
Published: (2001)

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 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)

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

Automated reasoning introduction and applications
Published: (1992)

Diagrammatic representation and reasoning
Published: (2002)

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

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)

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

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

Limit theorems of probability theory
Published: (1975)

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

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

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

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)

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)

Proving programs correct
by: Anderson, Robert Brockett 1941-
Published: (1979)

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

Control, Mechatronics and Automation Technology
Published: (2016)

An introduction to medical automation
by: Payne, Lawrence Charles
Published: (1966)

Biscuits of Number Theory
Published: (2009)

Logical design of automation systems
by: Freidman, Sander B 1927-
Published: (1990)

Automated manufacturing systems actuators, controls, sensors, and robotics
by: Morriss, S. Brian
Published: (1995)

Prove it! the scientific method in action
by: Glass, Susan
Published: (2007)

Industrial automation hands-on
by: Lamb, Frank

Automation for press feed operations applications and economics
by: Walker, Edward 1914-
Published: (1986)