Zoeken

U zocht naar: Auteur Sutcliffe, Geoff Filter Auteur: Sutcliffe, Geoff weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Deduction – CADE 28
thumbnail
Full text!
Auteur:
Platzer, André; Sutcliffe, Geoff
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Kanade, Takeo; Sutcliffe, Geoff; Voronkov, AndreÄ­; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book