瀏覽 的方式： 關鍵字 Reasoning & Search
顯示 1 到 5 筆資料，總共 5 筆
| 題名 | 作者 | 日期 |
|---|---|---|
| Cutting Connections in Linear Connection Proofs | Fronhofer, Bertram | 2006-10-25T01:05:40Z |
| Improved Algorithms for Reasoning about Qualitative Temporal Constraint problems | Hsu, Ching-Chi; Lin, Hsien-Cheng | 2006-10-25T01:03:52Z |
| On the Representation of Dynamic Search Spaces in Theorem Proving | Bonacina, Maria; Hsiang, Jieh | 2006-10-24T06:56:24Z |
| TWlib – a Library for Distributed Search Applications | Denzinger, Jorg; Jurgen, Lind | 2006-10-25T01:05:13Z |
| Visibility Inference Based on Spatial Knowledge Repressentation for Environment Viewed from Observer | Huang, P.W. | 2006-10-25T01:03:28Z |