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