5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

書誌事項

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

edited by W. Bibel and R. Kowalski

(Lecture notes in computer science, 87)

Springer-Verlag, 1980

  • : gw
  • : us

大学図書館所蔵 件 / 55

この図書・雑誌をさがす

注記

Includes bibliographies

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

詳細情報

ページトップへ