9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings

著者

• International Conference on Automated Deduction
• Lusk, Ewing L.
• Overbeek, Ross A.

書誌事項

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings

E. Lusk, R. Overbeek (eds.)

（Lecture notes in computer science, 310）

Springer-Verlag, c1988

• : gw
• : us

タイトル別名

Ninth International Conference on Automated Deduction

CADE-9

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA03820660
• ISBN:
  • 354019343X
  • 038719343X
• LCCN: 88015876
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: x, 775 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.A96
  • DC19 : 511.3
• 件名:
  • LCSH : Automatic theorem proving -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA00009279