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

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
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها