Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings
1st ed. 2017
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.
The paper ''Subtropical Satisfiability'' is open access under a CC BY 4.0 license via link.springer.com.
Get Frontiers of Combining Systems by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Structural, Syntactic, and Statistical Pattern Recognition
Ksh 8,100.00
Quantum Technology Applications, Impact, and Future Challenges
Ksh 14,200.00
6G and Next-Generation Internet
Ksh 10,100.00
Marketing and AI: Shaping the Future Together
Ksh 36,000.00
ITNG 2022 19th International Conference on Information Technology-New Generations
Ksh 27,000.00
Modeling Decisions for Artificial Intelligence
Ksh 9,000.00
