熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 1 筆, 頁數 1 / 1
呈現:
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised S
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and A... more |