我的圖書館

要求 添加至我的列表 添加至書袋 MARC 顯示 返回瀏覽索引
     
可用條款限制搜索
前一記錄 下一記錄
資源
更多信息
* Search MOBIUS *
PRINTED MAT
Conference LPAR (5th : 1994 : Kiev, Ukraine)

標題 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).

出版資料 Berlin ; New York : Springer-Verlag, c1994.

複本

館藏地 索書號 狀態
 IU 2nd Floor  QA76.63 I565 1994    AVAILABLE
說明 x, 344 p ; 24 cm.
系列 Lecture notes in computer science ; 822 Lecture notes in artificial intelligence
Lecture notes in computer science ; 822.
Lecture notes in computer science.
Notes Includes index.
主題 Logic programming -- Congresses.
Automatic theorem proving -- Congresses.
添加作者 Pfenning, Frank.
國際標準書號 3540582169 (Berlin)
0387582169 (New York : alk. paper) :
永久鏈接