This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, Fro Co S 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.
€57.91
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783319242460 ● محرر Carsten Lutz & Silvio Ranise ● الناشر Springer International Publishing ● نشرت 2015 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6303474 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM
المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر
75٬745 كتب إلكترونية في هذه الفئة
