Handbook of Automated ReasoningAndrei Voronkov

Handbook of Automated Reasoning

Andrei Voronkov · 2001

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2001
Language: English
Publisher: North Holland
Editions: 3
Pages: 1188
ISBN: 9780444508126

Data source: Wikidata

More by Andrei Voronkov

Programming LogicsAndrei Voronkov

Programming Logics

Andrei Voronkov · 2013

Perspectives of systems informaticsAndrei Voronkov

Perspectives of systems informatics

Andrei Voronkov · 2007

Logic for programming, artificial intelligence, and reasoningAndrei Voronkov

Logic for programming, artificial intelligence, and reasoning

Andrei Voronkov · 2006

Automated Deduction - CADE-18Andrei Voronkov

Automated Deduction - CADE-18

Andrei Voronkov · 2002

Handbook of Automated ReasoningAndrei Voronkov

Handbook of Automated Reasoning

Andrei Voronkov · 2001

Automated ReasoningAndrei Voronkov

Automated Reasoning

Andrei Voronkov · 2001

Logic Programming and Automated ReasoningAndrei Voronkov

Logic Programming and Automated Reasoning

Andrei Voronkov · 1993

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 ProceedingsAndrei Voronkov

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

Andrei Voronkov · 2012

Rewriting Techniques and ApplicationsAndrei Voronkov

Rewriting Techniques and Applications

Andrei Voronkov · 2009