Raamatud Andrei Voronkov
Valikule vastavaid tooteid ei leitud.
-25%
Handbook of Automated Reasoning
Alan J.A. Robinson, Andrei Voronkov
442,97 €
590,63 €
-25% koodiga BOOKS
Meie tarnija laos
-25%
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Iliano Cervesato, Helmut Veith, Andrei Voronkov
159,81 €
213,08 €
-25% koodiga BOOKS
Meie tarnija laos
-25%
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Christian G. Fermüller, Andrei Voronkov
159,81 €
213,08 €
-25% koodiga BOOKS
Meie tarnija laos
-25%
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Nikolaj Bjørner, Andrei Voronkov
79,90 €
106,53 €
-25% koodiga BOOKS
Meie tarnija laos