Pascal Fontaine – författare

Visar alla böcker från författaren Pascal Fontaine. Handla med fri frakt och snabb leverans.

5 produkter

Kategorier

5 produkter

Del 11716 - Lecture Notes in Computer Science
Automated Deduction – CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
AvPascal Fontaine
Häftad, Engelska, 2019
911 kr
Skickas inom 10-15 vardagar
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 presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
Automated Deduction - CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
AvPascal Fontaine
E-bok
Engelska, 2019
1 150 kr
Läs direkt efter köp
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 presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
AvPascal Fontaine,Christophe Ringeissenm. fl.
Häftad, Engelska, 2013
572 kr
Skickas inom 10-15 vardagar
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. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
AvRenate Schmidt,Christophe Ringeissenm. fl.
E-bok
PDF, Engelska, 2013
739 kr
Läs direkt efter köp
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. FroCoS''13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.
Voyage to the Heart of Europe 1953-2009
AvPascal Fontaine,Hans-Gert Potteringm. fl.
Inbunden, Engelska, 2010
314 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 2009. The European People's Party brings together most of the centre, moderate and Conservative parties in the Europe of 27. Its views have a decisive and growing influence on EU decision-making. The EPP Group, which has played a part in major European events from the birth of the Community in the midst of the Cold War to the introduction of the Single Market and the Euro, from the reunification of the continent after the fall of the Berlin Wall in 1989 to the impact of globalisation and the economic crisis, is above all a collection of men and women who share the same values and the same commitment to European integration. Written by Pascal Fontaine, drawn from unpublished archives and interviews, the book is a valuable source of information for anyone wanting a better knowledge and understanding of the history of European integration.

Företag, bibliotek eller offentlig verksamhet?

Pascal Fontaine – författare

Automated Deduction – CADE 27

Automated Deduction - CADE 27

Frontiers of Combining Systems

Frontiers of Combining Systems

Voyage to the Heart of Europe 1953-2009

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration