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
Advances In Software Engineering And Knowledge Engineering
Ksh 16,400.00
Intelligent Information Systems
Ksh 8,100.00
Principles of Verification: Cycling the Probabilistic Landscape
Ksh 10,800.00
Pro Spring Security
Ksh 9,000.00
Applied Intelligence and Informatics
Ksh 14,400.00
Efficient Go
Ksh 8,300.00
