دانلود کتاب 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. مجموعه مقالات |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟