دانلود کتاب Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
by Yves Bertot|
|
عنوان فارسی: تعاملی قضیه اثبات و برنامه توسعه: Coq هنر: حساب دیفرانسیل و انتگرال از استقراء سازه |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟