ارائه زبان برنامهنویسی Coq
در این ارائه به زبان برنامهنویسی Coq پرداخته شده است. ارائه دهندگان آقایان شایان پردیس، حمیدرضا کلباسی و ارشیا سلطانی هستند. بهار 1401
ژانر:
برای ارسال نظر وارد حساب کاربری خود شوید ورود/عضویت
ارائه زبان برنامهنویسی Coq
در این ارائه به زبان برنامهنویسی Coq پرداخته شده است. ارائه دهندگان آقایان شایان پردیس، حمیدرضا کلباسی و ارشیا سلطانی هستند. بهار 1401
