Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Ranise, Silvio"
cover
Frontiers of Combining Systems
Comment Share
Lutz, CarstenRanise, Silvio

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 sections named: description logics; theorem proving and model building; decision procedures; decisio…

Edition
-
ISBN/ISSN
978-3-319-24246-0
Collation
XVI, 275
Series Title
Lecture Notes in Computer Science
Call Number
-