دانلود کتاب Isabelle/HOL: A Proof Assistant for Higher-Order Logic

ایزابل / HOL: دستیار اثبات منطق مرتبه بالاتر

زبان : English

نویسندگان : Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540433767, 9783540433767

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

سری : Lecture Notes in Computer Science 2283

تعداد صفحات : 226[231]

حجم : 824 کیلوبایت

فرمت کتاب : pdf

قیمت : 36000 تومان