دانلود کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
by Otmane Aït Mohamed (auth.)
|
عنوان فارسی: عالی منطق مرتبه قضیه اثبات و کاربردهای آن : 8 بین المللی کارگاه آسپن گراو، UT، ایالات متحده آمریکا، 11-14 سپتامبر ، 1995 مقالات |