Autore: Pascal Fontaine

Supporto

2 Ebook di Pascal Fontaine

Pascal Fontaine & Christophe Ringeissen: Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, Fro Co S 2013, held in Nancy, France, in September 2013. The 20 revised full paper …
PDF
Inglese
DRM
€57.19
Pascal Fontaine: Automated Deduction – CADE 27
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presente …
EPUB
Inglese
DRM
€89.88