Clausal form logic an introduction to the logic of computer reasoning

Bibliographic Details
Main Author:	Richards, Tom
Format:	Book
Language:	English
Published:	Sydney Addison-Wesley c1989.
Subjects:	Expert systems (Computer science). Artificial intelligence. Logic, Symbolic and mathematical. Reasoning.