関西学院大学図書館

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings

J. Dix, K.P. Jantke, P.H. Schmitt, eds. -- : Berlin, : New York. -- Springer-Verlag, c1991. -- (Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence). <BY00041004>
このページのURL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 : Berlin 上ケ原館外書庫図書 006:626:543 0000712034 0件
No. 0001
巻号 : Berlin
配架場所 上ケ原館外書庫図書
請求記号 006:626:543
資料ID 0000712034
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings / J. Dix, K.P. Jantke, P.H. Schmitt, eds
出版事項 Berlin ; Tokyo : Springer-Verlag , c1991
形態 x, 243 p. ; 25 cm
シリーズ名等 Lecture notes in computer science <BY02000012> 543 . Lecture notes in artificial intelligence//aa
巻号情報
巻次等 : Berlin
ISBN 3540545646
巻号情報
巻次等 : New York
ISBN 0387545646
注記 Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Inference
注記 Includes bibliographical references
NCID BA13098850
本文言語 英語
著者標目 Dix, J. (Jürgen), 1961- <AU00120352>
著者標目 International Workshop on Nonmonotonic and Inductive Inference <AU00120354> (1st : 1990 : Karlsruhe, Germany)
著者標目 Jantke, Klaus P. <AU00032188>
著者標目 Schmitt, P. H. (Peter H.), 1948- <AU00120353>
分類標目 LCC:QA76.63
分類標目 DC20:006.3
分類標目 情報科学 NDC8:007.1
件名標目等 Logic programming -- Congresses
件名標目等 Artificial intelligence -- Congresses