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 (Editor), Sofronie-Stokkermans, Viorica (Editor)
বিন্যাস:	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