Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings

書誌事項

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings

Frank Pfenning (ed.)

(Lecture notes in computer science, 4603 . Lecture notes in artificial intelligence)

Springer, c2007

この図書・雑誌をさがす
注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ