isabellehol
ایزابل/هول: دستیار اثباتی برای منطق بالاتر
دانلود کتاب Isabelle/HOL: A Proof Assistant for Higher-Order Logic (به فارسی: ایزابل/هول: دستیار اثباتی برای منطق بالاتر) نوشته شده توسط «Tobias Nipkow – Markus Wenzel – Lawrence C. Paulson (eds.)» اطلاعات کتاب ایزابل/هول: دستیار اثباتی برای منطق بالاتر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Tobias Nipkow – Markus Wenzel – Lawrence C. Paulson (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 226 حجم کتاب: 1 مگابایت کد کتاب: 3540433767 , 9783540433767 نوبت چاپ: 1 توضیحات کتاب ایزابل/هول: دستیار اثباتی برای منطق بالاتر این جلد مقدمه‌ای مستقل…