Handbook of Automated ReasoningAndrei Voronkov

Handbook of Automated Reasoning

Andrei Voronkov · 2001

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2001
שפה: English
הוצאה: The MIT Press
מהדורות: 1
עמודים: 1185
ISBN: 9780262182225

מקור הנתונים: Wikidata

עוד של 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

Automated ReasoningAndrei Voronkov

Automated Reasoning

Andrei Voronkov · 2001

Handbook of Automated ReasoningAndrei Voronkov

Handbook of 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