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