Title: Automated deduction, CADE-15
First published: 1998
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Theoremes, Logique symbolique et mathematique, Congres, Demonstration automatique, Automatische bewijsvoering
LC classification: QA76.9.A96 I57 1998