我的图书馆

     
可用条款限制搜索
PRINTED MAT
Conference LPNMR '97 (1997 : Dagstuhl, Wadern, Germany)

题名 Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.).

出版资料 Berlin ; New York : Springer, c1997.

复本

馆藏地 索书号 处理状态
 IU 2nd Floor  QA76.63 .L74 1997    AVAILABLE
载体形态 x, 452 p : ill ; 24 cm.
丛编 Lecture notes in computer science ; 1265 Lecture notes in artificial intelligence
Lecture notes in computer science ; 1265.
Lecture notes in computer science.
Bibliography Includes bibliographical references and index.
主题 Logic programming -- Congresses.
Nonmonotonic reasoning -- Congresses.
其它责任者 Dix, J (Jürgen), 1961-
Fuhrbach, Ulrich.
Nerode, Anil, 1932-
国际标准书号 3540632557 (softcover : alk. paper)