Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer Science)
暫譯: 系統結合的前沿：第六屆國際研討會 FroCoS 2007，英國利物浦，2007年9月10-12日。會議論文集（計算機科學講義）

***

出版商: Springer
出版日期: 2007-08-23
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 286
裝訂: Paperback
ISBN: 354074620X
ISBN-13: 9783540746201
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.