Automated ReasoningAndrei Voronkov
Automated Reasoning
Andrei Voronkov · 2001
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2001
- שפה
- English
- הוצאה
- The MIT Press
- מהדורות
- 1
- עמודים
- 996
- ISBN
- 9780262182218
מקור הנתונים: 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
Handbook of Automated ReasoningAndrei Voronkov
Handbook of 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