Knygos pagal Nikolaj Bjørner
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Nikolaj Bjørner, Viorica Sofronie-Stokkermans
80,18 €
106,90 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-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
80,18 €
106,90 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją