Title: Automated deduction, CADE-20
First published: 2005
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic