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

Author(s)

• Loveland, Donald W.
• Conference on Automated Deduction

Bibliographic Information

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

Note

Includes bibliographical references

Details

• NCID: BA03868780
• ISBN:
  • 3540115587
  • 0387115587
• LCCN: 82005948
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: vii, 389 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.A96
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Automatic theorem proving -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00009279