Automated reasoning introduction and applications

Automated reasoning introduction and applications

Saved in:

Bibliographic Details
Other Authors:	Wos, Larry
Format:	Book
Published:	New York McGraw-Hill 1992
Edition:	2nd ed
Subjects:	Electronic digital computers > Programming Artificial intelligence 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

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)

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

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

Handbook of automated reasoning
Published: (2001)

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

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

Automated theorem proving in software engineering
by: Schumann, Johann M 1960-
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)

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)

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)

Fuzzy, holographic, and parallel intelligence the sixth generation break through
Published: (1992)

The cognitive computer on language, learning, and artificial intelligence
by: Schank, Roger C. 1946-
Published: (1984)

Computers for artificial intelligence processing
Published: (1990)

Artificial intelligence for computer games an introduction
by: Funge, John David 1968
Published: (2004)

Innovations in agent-based complex automated negotiations
Published: (2010)

AI game development synthetic creatures with learning and reactive behaviors
by: Champandard, Alex J
Published: (2004)

Automation
by: Bruton, Eric
Published: (1964)

Programming for artificial intelligence methods, tools, and applications
by: Kreutzer, Wolfgang
Published: (1991)

Computing horizons
by: Durham, Tony 1948-
Published: (1988)

The Computer and the brain perspectives on human and artificial intelligence
Published: (1989)

Distributed constraint problem solving and reasoning in multi-agent systems
Published: (2004)

From standard logic to logic programming introducing a logic based approach to artificial intelligence
Published: (1988)

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

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

Parallel processing for artificial intelligence 1
Published: (1994)

Massively parallel artificial intelligence
by: Kitano, Hiroaki 1961-
Published: (1994)

Advances in reasoning-based image processing intelligent systems conventional and intelligent paradigms
Published: (2012)

An introduction to neural computing
by: Aleksander, Igor
Published: (1995)

The Fifth generation artificial intelligence and Japan's computer challenge to the world
by: Feigenbaum, Edward A
Published: (1984)

Common Lisp and artificial intelligence
by: Harrison, Patrick R. 1942-
Published: (1990)

Neural network models in artificial intelligence
by: Zeidenberg, Matthew
Published: (1990)

Reasoning with a computer in Pascal
by: Solow, Daniel
Published: (1986)

Teaching and learning in Logo-based environments proceedings of the ... held 30 August-1 September 1989
Published: (1990)