Automated reasoning : introduction and applications

Author(s)

• Wos, Larry

Bibliographic Information

Automated reasoning : introduction and applications

Larry Wos ... [et al.]

McGraw-Hill, c1992

2nd ed

Note

System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation

Includes bibliographical references and index

Details

• NCID: BA18590702
• ISBN:
  • 007911251X
• LCCN: 91043171
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xvi, 656 p.
• Size: 24 cm.
• Attached Material: 1 computer disk (5 1/4 in.)
• Classification:
  • LCC : QA76.9.A96
  • DC20 : 006.3
• Subject Headings:
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
  • LCSH : Electronic digital computers -- Programming