دانلود کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
by Thomas Kropf (auth.)
|
عنوان فارسی: قضیه اثبات در عالی سفارش منطق: 12th کنفرانس بین المللی، TPHOLs "99 نیس، فرانسه، 14-17 سپتامبر، 1999 مقالات |