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
A Quality Engineering Techniques Approach to Supply Chain Management
Ksh 12,600.00
Introduction to C++
Ksh 10,050.00
Web Information Systems Engineering – WISE 2021
Ksh 19,800.00
Algorithms For Analysis, Inference, And Control Of Boolean Networks
Ksh 16,200.00
Soft Computing in Interdisciplinary Sciences
Ksh 27,000.00
High Performance Computing Systems
Ksh 8,100.00
