تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۴,۳۴ ثانیه یافت شد.

1. Adapting proofs-as-programs

پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :

E-BOOK

2. Adapting proofs-as-programs

پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :

E-BOOK

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است