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
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783319242460 ● Biên tập viên Carsten Lutz & Silvio Ranise ● Nhà xuất bản Springer International Publishing ● Được phát hành 2015 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6303474 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
75.745 Ebooks trong thể loại này
