دانلود کتاب Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
by Sten Agerholm (auth.)
|
عنوان فارسی: عالی منطق مرتبه قضیه اثبات و کاربردهای آن: 7 بین المللی کارگاه والتا، مالت، 19-22 سپتامبر، 1994 مقالات |