Perspectives of systems informaticsAndrei Voronkov

Perspectives of systems informatics

Andrei Voronkov, Irina Virbitskaite · 2007

איפה לקנות

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

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

פרטי הספר

שנה: 2007
שפה: English
הוצאה: Springer
מהדורות: 3
עמודים: 496
ISBN: 9783540708803

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

עוד של Andrei Voronkov

Programming LogicsAndrei Voronkov

Programming Logics

Andrei Voronkov · 2013

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

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