دانلود کتاب Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings
by Bart Jacobs (auth.)|
|
عنوان فارسی: قضیه اثبات در عالی سفارش منطق: 14 کنفرانس بین المللی، TPHOLs 2001 ادینبورگ، اسکاتلند، بریتانیا، 3-6 سپتامبر، 2001 مقالات |


دانلود کتاب

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