دانلود کتاب Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

اثبات قضیه در منطق نظم عالی: هجدهمین کنفرانس بین المللی ، TPHOLs 2005 ، آکسفورد ، انگلیس ، 22 تا 25 آگوست 2005. مجموعه مقالات

زبان : English

نویسندگان : Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2005

ISBN (شابک) : 3540283722, 9783540283720

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

سری : Lecture Notes in Computer Science 3603 : Theoretical Computer Science and General Issues

تعداد صفحات : 414[417]

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

فرمت کتاب : pdf

قیمت : 36000 تومان