2 E-böcker av Geoff Sutcliffe
Geoff Sutcliffe & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
…
PDF
Engelska
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
Engelska
DRM
€3.85
