Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

書誌事項

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

Claude Kirchner, Hélène Kirchner (eds.)

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

Springer, c1998

  • : pbk

大学図書館所蔵 件 / 48

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

ページトップへ