|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Paperback, 2013 ed.)
Loot Price: R1,544
Discovery Miles 15 440
|
|
|
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Paperback, 2013 ed.)
Series: Lecture Notes in Artificial Intelligence, 8152
Expected to ship within 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
