Handbook Of Automated Reasoning View on Open Library

Handbook Of Automated Reasoning

by J. Robinson , Alan Robinson , Andrei Voronkov

No reviews yet
First published: 2001 1 language ISBN: 9780262182232
Subjects
Automatic theorem proving Qualitative reasoning Qa76.9.a96 h35 2001 511.3 Computer science

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by J. Robinson

Instrumental methods in electrochemistry

Instrumental methods in electrochemistry

Values and Opportunities in Social Entrepreneurship

Values and Opportunities in Social Entre...

Unfettering Poetry

Unfettering Poetry

ECONOMIC PHILOSOPHY

ECONOMIC PHILOSOPHY

Die Verhütung Von Gesundheitsschädigungen Durch Anklopfmaschinen

Die Verhütung Von Gesundheitsschädigunge...

Immoral Church

Immoral Church

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
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Automated practical reasoning

Automated practical reasoning

Dongming Wang