Automated Theorem Proving

View on Open Library

Automated Theorem Proving

by Monty Newborn

No reviews yet

First published: 2000 1 language ISBN: 9781461300892

Subjects

Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Monty Newborn

Deep Blue

Kasparov versus Deep Blue

Kasparov versus Deep Blue

Beyond Deep Blue

Beyond Deep Blue

Kasparov versus Deep Blue

Kasparov versus Deep Blue

You Might Also Like

More in Automatic theorem pr...

Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi

Logic for computer science

Logic for computer science

Jean H. Gallier

Logic Programming

Logic Programming

James H. Andrews

Automated Reasoning

Automated Reasoning

Larry Wos

Automated practical reasoning

Automated practical reasoning

Dongming Wang

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan