Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 結合系統的前沿：第十屆國際研討會 FroCoS 2015，波蘭弗羅茨瓦夫，2015年9月21-24日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2015-11-12
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 376
- 裝訂: Paperback
- ISBN: 3319242458
- ISBN-13: 9783319242453
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第十屆國際結合系統前沿研討會（FroCoS 2015）的會議論文集，該會議於2015年9月在波蘭的弗羅茨瓦夫舉行。
本卷中所呈現的20篇論文經過仔細審查和選擇，來自34篇投稿。這些論文被組織成以下主題部分：描述邏輯；定理證明與模型構建；決策程序；用於驗證的決策程序；重寫與約束求解；符號系統之間的轉換；結合方法；以及在大型理論中的推理。本書還包含一篇完整的邀請演講。
