Title: Clausal form logic
First published: 1989
Subjects: Artificial intelligence, Expert systems (Computer science), Logic, Symbolic and mathematical, Reasoning, Symbolic and mathematical Logic
LC classification: QA76.76.E95 R53 1989