Hoppa till sidans huvudinnehåll

Geoff Sutcliffe – författare

Visar alla böcker från författaren Geoff Sutcliffe.
2 produkter
André Platzer, Geoff Sutcliffe - Automated Deduction – CADE 28, Häftad
Del 12699 - Lecture Notes in Computer Science

Automated Deduction – CADE 28

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

AvAndré Platzer,Geoff Sutcliffe

Häftad, Engelska, 2021

589 kr

Skickas inom 10-15 vardagar

Geoff Sutcliffe, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

AvGeoff Sutcliffe,Andrei Voronkov

Häftad, Engelska, 2005

1 459 kr

Skickas inom 10-15 vardagar