Geoff Sutcliffe - Böcker

Visar alla böcker från författaren Geoff Sutcliffe.

2 produkter

Kategorier

2 produkter

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Av André Platzer, Geoff Sutcliffe m. fl

Häftad, Engelska, 2021

589 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

Av Geoff Sutcliffe, Andrei Voronkov

Häftad, Engelska, 2005

1 459 kr

Skickas inom 10-15 vardagar