Automated reasoning : introduction and applications

Author(s)

• Wos, Larry

Bibliographic Information

Automated reasoning : introduction and applications

Larry Wos ... [et al.]

Prentice-Hall, c1984

• pbk.

Note

Includes bibliographical references and index

Details

• NCID: BA01132510
• ISBN:
  • 0130544531
  • 0130544469
• LCCN: 83022968
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Englewood Cliffs, N.J.
• Pages/Volumes: xiv, 482 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A96
  • DC19 : 001.53/5
• Subject Headings:
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
  • LCSH : Electronic digital computers -- Programming