6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

著者

書誌事項

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

edited by D.W. Loveland

（Lecture notes in computer science, 138）

Springer-Verlag, 1982

  • : gw
  • : us

大学図書館所蔵 件 / 全36件

この図書・雑誌をさがす

注記

Includes bibliographical references

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

詳細情報

ページトップへ