Title: Automated Reasoning
First published: November 1987
Subjects: Computer programming, Artificial intelligence, Automatic theorem proving, Computer programs
LC classification: QA76.9.A96 W67 1988