Title: Automated deduction, CADE-13
First published: 1996
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logique symbolique et mathématique, Congrès, Théorèmes, Démonstration automatique, Automatische bewijsvoering
LC classification: QA76.9.A96 I57 1996