دانلود کتاب Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
by Renate A. Schmidt
|
عنوان فارسی: کسر خودکار - حیوان دست اموز-22: 22 کنفرانس بین المللی کسر خودکار، مونترال، کانادا، 02-07 اوت، 2009. مجموعه مقالات |