دانلود کتاب Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
by David Basin
|
عنوان فارسی: قضیه اثبات در عالی سفارش منطق: 22 کنفرانس بین المللی، TPHOLs 2009، مونیخ، آلمان، اوت 17-20، 2009. مجموعه مقالات |