Automated Deduction -- CADE-23
Subtitle: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Publisher: Springer
Published: Aug 05, 2011
Format: paperback
Number of pages: 524
ISBN-13: 9783642224393
Notes: Source title: Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings