Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
著者
書誌事項
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
(Lecture notes in computer science, . Lecture notes in artificial intelligence ; 6355)
Springer, c2010
- : pbk
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"LNCS sublibrary: SL 7-artificial intelligence" -- T.p. verso
Includes bibliographical references and author index