Pascal Fontaine – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
5 produkter
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
Häftad, Engelska, 2019
890 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.
E-bok
Engelska, 20191 138 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.
Häftad, Engelska, 2013
559 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.
E-bok
PDF, Engelska, 2013732 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.
Inbunden, Engelska, 2010
311 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.