2 Ebooks de Geoff Sutcliffe
Geoff Sutcliffe & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
…
PDF
Inglés
DRM
€115.13
Andre Platzer & Geoff Sutcliffe: Automated Deduction – CADE 28
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions present …
EPUB
Inglés
DRM
€3.85