دانلود کتاب Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
by Koen Claessen (auth.)
|
عنوان فارسی: کسر خودکار - CADE-23: 23 کنفرانس بین المللی کسر خودکار، Wroclaw، لهستان، 31 جولای - آگوست 5، 2011. مجموعه مقالات |