我的图书馆

要求 添加至我的列表 添加至书袋 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) :
永久链接