Automated Deduction – CADE-22
Subtitle: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
By: edited by Renate A. Schmidt
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5663
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642029585; 9783642029592
Subjects: Computer science