|
Showing 1 - 2 of
2 matches in All Departments
|
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Paperback, 2013 ed.)
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
|
R1,581
Discovery Miles 15 810
|
Ships in 10 - 15 working days
|
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.
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.
|
|