Frontiers of Combining Systems

11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing
Cover of the book Frontiers of Combining Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319661674
Publisher: Springer International Publishing Publication: September 4, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319661674
Publisher: Springer International Publishing
Publication: September 4, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.  

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. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.  

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. 

More books from Springer International Publishing

Cover of the book Enabling Horizontal Collaboration Through Continuous Relational Learning by
Cover of the book Religious Ethics in the Market Economy by
Cover of the book Nonmalignant Hematology by
Cover of the book Future Directions in Metalloprotein and Metalloenzyme Research by
Cover of the book Advances in Intelligent Data Analysis XV by
Cover of the book Formal Methods and Software Engineering by
Cover of the book Penalty, Shrinkage and Pretest Strategies by
Cover of the book Information Security and Privacy by
Cover of the book Acoustic Cavitation and Bubble Dynamics by
Cover of the book Web and Big Data by
Cover of the book Numbers and Computers by
Cover of the book Advances in Computational Intelligence Systems by
Cover of the book Social Movements and Democracy in the 21st Century by
Cover of the book Wikipedia, Work and Capitalism by
Cover of the book Intelligent Techniques in Engineering Management by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy