Frontiers of Combining Systems
-
- 69,99 US$
-
- 69,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 10-12, 2007.
The 14 revised full papers presented were carefully reviewed and selected. The papers 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.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2007
23 tháng 8
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
291
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
8,1
Mb