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
Privacy Engineering
Ksh 9,350.00
Introduction To Quantum Computation And Information
Ksh 9,700.00
Articulated Motion and Deformable Objects
Ksh 16,200.00
Digital Nations – Smart Cities, Innovation, and Sustainability
Ksh 8,100.00
Microsoft Excel VBA and Macros (Office 2021 and Microsoft 365)
Ksh 6,100.00
Fundamentals of Logic and Computation
Ksh 9,900.00
