Autor: Geoff Sutcliffe

Soporte

2 Ebooks de Geoff Sutcliffe

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