Clausal form logic
Subtitle: an introduction to the logic of computer reasoning
By: Tom Richards.
Series: International computer science series
Publisher: Addison-Wesley Pub. Co.
Published: 1989
Place of publication: Sydney; Reading, Mass
Language: eng
Number of pages: 359
Subjects: Expert systems (Computer science); Artificial intelligence.; Logic, Symbolic and mathematical.; Reasoning.
Notes: Includes bibliographies and index.