دانلود کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
by Konrad Slind
|
عنوان فارسی: قضیه اثبات در عالی سفارش منطق: 17 کنفرانس بین المللی، TPHOLS سال 2004، پارک شهر، یوتا، ایالات متحده، 14-17 سپتامبر، 2004، مجموعه مقالات |