熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 6 筆, 頁數 1 / 1
呈現:
Throw, Catch, Hit!
|
|||
Throw, Catch, Hit!
|
|||
Incomplete Information: Structure, Inference, Complexity
This is the first monograph devoted to a theory of information systems with incomplete information i... more |
|||
Incomplete Information: Structure, Inference, Complexity
This is the first monograph devoted to a theory of information systems with incomplete information i... more |
|||
Automated Reasoning: 7th International Joint Conference, Ijcar 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-2
This book constitutes the refereed proceedings of the 7th International Joint Conference on Automate... more |
|||
Temporal Logics in Computer Science: Finite-State Systems
This comprehensive text provides a modern and technically precise exposition of the fundamental theo... more |