دانلود کتاب Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
by John Slaney (auth.)
|
عنوان فارسی: خودکار کسر - CADE-12: 12th کنفرانس بین المللی خودکار کسر نانسی، فرانسه، 26 ژوئن - 1994 ژوئیه 1 مجموعه مقالات |