Pascal Fontaine – författare
Visar alla böcker från författaren Pascal Fontaine. Handla med fri frakt och snabb leverans.
5 produkter
Automated Deduction – CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Häftad, 2019
910 kr
Lägg i varukorg
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 presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the …
Automated Deduction - CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
E-bok, 2019
1150 kr
Lägg i varukorg
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 presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the …
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Av Pascal Fontaine, Christophe Ringeissen m. fl.
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. …
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Av Renate Schmidt, Christophe Ringeissen m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. …
Voyage to the Heart of Europe 1953-2009
Av Pascal Fontaine, Hans-Gert Pottering m. fl.
Inbunden, 2010
320 kr
Tillfälligt slut
With an introduction by Hans-Gert Pottering and a foreword by Joseph Daul, this book invites you to discover the role played by one of the major political forces to have grown up in the European Parliament, from its creation in 1953 to its comprehensive victory in the European elections in June …
