Nicola Olivetti - Böcker
Visar alla böcker från författaren Nicola Olivetti.
5 produkter
5 produkter
1 669 kr
Skickas inom 10-15 vardagar
379 kr
Skickas inom 5-8 vardagar
Del 9706 - Lecture Notes in Computer Science
Automated Reasoning
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Häftad, Engelska, 2016
1 149 kr
Skickas inom 10-15 vardagar
Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Häftad, Engelska, 2007
719 kr
Skickas inom 10-15 vardagar
1 669 kr
Skickas inom 10-15 vardagar