Title: Automated deduction, CADE-19
First published: 2003
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.9.A96 I57 2003, QA76.9.A96 I57 2003