このページのリンク

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
(Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence)

データ種別 図書
出版者 New York : Springer
出版年 c1997
本文言語 英語
大きさ x, 452 p. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.63:L74:1997
3540632557 002464789

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *LPNMR (1997 : Dagstuhl, Wadern, Germany)
Dix, J. (Jürgen), 1961-
Furbach, Ulrich
Nerode, Anil, 1932-
件 名 LCSH:Logic programming -- Congresses  全ての件名で検索
LCSH:Nonmonotonic reasoning -- Congresses  全ての件名で検索
分 類 LCC:QA76.63
DC21:006.3/36
巻冊次 ISBN:3540632557 REFWLINK
ISBN 3540632557
NCID BA31440770 WCLINK
目次/あらすじ

 類似資料