Geoff Sutcliffe - Böcker

Visar alla böcker från författaren Geoff Sutcliffe.
2 produkter
André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André - Automated Deduction – CADE 28, Häftad

Automated Deduction – CADE 28

Av André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André

Häftad, Engelska, 2021

589 kr

Skickas inom 7-10 vardagar
Geoff Sutcliffe, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

Av Geoff Sutcliffe, Andrei Voronkov

Häftad, Engelska, 2005

1 449 kr

Skickas inom 7-10 vardagar