Författare: Pascal Fontaine

Stöd

2 E-böcker av 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
Engelska
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
Engelska
DRM
€89.86