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

Edmund M. Clarke and Andrei Voronkov (Eds.)

(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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ