Cover Image

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sectio...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Lutz, Carsten. (Editor, http://id.loc.gov/vocabulary/relators/edt), Ranise, Silvio. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Lecture Notes in Artificial Intelligence ; 9322
Subjects:
Artificial intelligence.
Mathematical logic.
Computer logic.
Computer programming.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Online Access:https://doi.org/10.1007/978-3-319-24246-0

Internet

https://doi.org/10.1007/978-3-319-24246-0

Similar Items