Geoff Sutcliffe - Böcker
Visar alla böcker från författaren Geoff Sutcliffe.
2 produkter
2 produkter
Del 12699 - Lecture Notes in Computer Science
Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Häftad, Engelska, 2021
579 kr
Skickas inom 10-15 vardagar
Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Häftad, Engelska, 2005
1 409 kr
Skickas inom 10-15 vardagar