我的圖書館

要求 添加至我的列表 添加至書袋 MARC 顯示 返回瀏覽索引 修改搜索 更多此類
     
可用條款限制搜索
51 結果查獲. 按日期排序 .
前一記錄 下一記錄
資源
更多信息
* Search MOBIUS *
PRINTED MAT

標題 Automated reasoning : introduction and applications / Larry Wos ... [et al.].

出版資料 Englewood Cliffs, N.J. : Prentice-Hall, c1984.

複本

館藏地 索書號 狀態
 TL Books  QA76.9.A96 A93 1984    AVAILABLE
說明 xiv, 482 p. : ill. ; 24 cm.
Bibliography Includes bibliographical references and index.
主題 Automatic theorem proving.
Artificial intelligence.
Electronic digital computers -- Programming.
添加作者 Wos, Larry.
國際標準書號 0130544531
0130544469 (pbk.)
永久鏈接