2 หนังสืออิเล็กทรอนิกส์โดย Geoff Sutcliffe
Geoff Sutcliffe & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
…
PDF
อังกฤษ
DRM
€114.14
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 …
EPUB
อังกฤษ
DRM
€3.84