2 电子书 Mauricio Ayala-Rincon
Mauricio Ayala-Rincon & Flavio L. C. de Moura: Applied Logic for Computer Scientists
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available …
EPUB
英语
DRM
€51.21
Mauricio Ayala-Rincon & Cesar A. Munoz: Interactive Theorem Proving
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough d …
EPUB
英语
DRM
€57.60
