Nicolas Peltier – författare
Visar alla böcker från författaren .
4 produkter
4 produkter
Inbunden, Engelska, 2004
2 099 kr
Skickas inom 10-15 vardagar
Del 12167 - Lecture Notes in Computer Science
Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Häftad, Engelska, 2020
1 069 kr
Skickas inom 10-15 vardagar
Del 12166 - Lecture Notes in Computer Science
Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Häftad, Engelska, 2020
1 159 kr
Skickas inom 10-15 vardagar
Del 31 - Applied Logic Series
Automated Model Building
Häftad, Engelska, 2010
2 099 kr
Skickas inom 10-15 vardagar