Adapting Proofs-as-Programs: The Curry-Howard Protocol

Adapting Proofs-as-Programs: The Curry-Howard Protocol

Iman Hafiz Poernomo , John Newsome Crossley , Martin Wirsing
لا توجد تقييمات بعد
2010 · الإنجليزية · غلاف ورقي · 2 طبعات
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

المراجعات

لا توجد مراجعات بعد

كن أول من يراجع هذا الكتاب وشارك أفكارك

تسجيل الدخول للمراجعة
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب