我的圖書館

     
可用條款限制搜索
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)