دانلود کتاب Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
by Mauro Gargano
|
عنوان فارسی: قضیه اثبات در عالی سفارش منطق: 18 کنفرانس بین المللی، TPHOLs 2005، آکسفورد، بریتانیا، 22-25 اوت، 2005. مجموعه مقالات |