Title: Automated deduction, CADE-12
First published: 1994
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.9.D337 I58 1994