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