Skip to content

Loading

جست‌وجو موضوع‌ها انتخاب متخصصان

EN ورود

جست‌وجو موضوع‌ها انتخاب متخصصان ورود

کشف منابع

Agda

کتاب‌ها

1 نتیجه

Cover of Verified Functional Programming in Agda

English Unordered

Verified Functional Programming in Agda

Aaron Stump

2016 مشاهدهٔ کتاب

کتابخانه‌ای آزاد و متخصص‌محور برای انتخاب بهتر منابع یادگیری.

درخواست کتاب جست‌وجو متخصصان

© RefHub · مرجع آزاد برای یادگیری عمیق