Clausal form logic : an introduction to the logic of computer reasoning

Author(s)

• Richards, Tom

Bibliographic Information

Clausal form logic : an introduction to the logic of computer reasoning

Tom Richards

（International computer science series）

Addison-Wesley Pub. Co., c1989

Note

Includes bibliographies and index

Details

• NCID: BA07053086
• ISBN:
  • 0201129205
• LCCN: 88026280
• Country Code: at
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Sydney ; Reading, Mass.
• Pages/Volumes: xiii, 359 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.E95
  • DC19 : 006.3
• Subject Headings:
  • LCSH : Expert systems (Computer science)
  • LCSH : Artificial intelligence
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Reasoning
• Parent Bibliography ID:
  • BA00203522