دانلود کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th
by E. Thomas Schubert
|
عنوان فارسی: عالی منطق مرتبه قضیه اثبات و کاربردهای آن: 8 بین المللی کارگاه، آسپن گراو، UT، USA، 11 سپتامبر - 14، 1995. مجموعه مقالات: ... 8 |