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