#عصرانه_ریاضی
عنوان ارائه: اثبات خودکار قضایای مشبکه به کمک «بازتاب»
ارائه دهندگان : امیررضا مزینانی، سینا معدن کار
دانشجویان کارشناسی علوم کامپیوتر دانشگاه تهران
📅 تاریخ برگزاری: دوشنبه ۱۲ خرداد
🕠 ساعت17.30
این جلسه به صورت حضوری و در کلاس ۲۲۱ برگزار میشود.
Post #1397
430