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 · مرجع آزاد برای یادگیری عمیق