Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, fou...

وصف كامل

التفاصيل البيبلوغرافية
مؤلفون آخرون: Bjørner, Nikolaj (المحرر), Sofronie-Stokkermans, Viorica (المحرر)
التنسيق: Electronic Resource
اللغة:English
منشور في: Berlin, Heidelberg Springer Berlin Heidelberg [©2011]
الموضوعات:
Computer science.
Software engineering.
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Automatic theorem proving.
Electronic books.
الوصول للمادة أونلاين:Available for University of the Philippines Diliman via SpringerLink. Click here to access