دانلود کتاب Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings



زبان : English

نویسندگان : Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1997

ISBN (شابک) : 3540633790, 9783540633792

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 1275

تعداد صفحات : 346[340]

حجم : 3 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان