Chiron: مکانیزه سازی ریاضیات در OCAML
Chiron: mechanising mathematics in OCAML
نویسنده: Ni H.
ناشر: MacMaster U.
سال انتشار: 2009
تعداد صفحات: 124
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 774 کیلوبایت
توضیحی برای این کتاب ثبت نشده است.