Rewriting Techniques and ApplicationsAndrei Voronkov
Rewriting Techniques and Applications
Andrei Voronkov · 2009
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2009
- Publisher
- Springer
- Editions
- 1
- ISBN
- 9783540866671
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
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