Title: Proof technology and computation
First published: 2006
Subjects: Congresses, Development, Automatic theorem proving, Computer programming, Computer software
LC classification: QA76.9.A96 N38 2006