×


 x 

Shopping cart
. Ed(S): Lutz, Carsten; Ranise, Silvio - Frontiers of Combining Systems - 9783319242453 - V9783319242453
Stock image for illustration purposes only - book cover, edition or condition may vary.

Frontiers of Combining Systems

€ 67.41
FREE Delivery in Ireland
Description for Frontiers of Combining Systems Paperback. Editor(s): Lutz, Carsten; Ranise, Silvio. Series: Lecture Notes in Computer Science. Num Pages: 374 pages, 54 colour illustrations, biography. BIC Classification: UGK; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.

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; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length. 

Product Details

Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
374
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
357
Place of Publication
Cham, Switzerland
ISBN
9783319242453
SKU
V9783319242453
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Frontiers of Combining Systems

Goodreads reviews for Frontiers of Combining Systems


Subscribe to our newsletter

News on special offers, signed editions & more!