#عصرانه_ریاضی
عنوان ارائه: اثبات خودکار قضایای مشبکه به کمک «بازتاب»
ارائه دهندگان : امیررضا مزینانی، سینا معدن کار
دانشجویان کارشناسی علوم کامپیوتر دانشگاه تهران
📅 تاریخ برگزاری: دوشنبه ۱۲ خرداد
🕠 ساعت17.30
این جلسه به صورت حضوری و در کلاس ۲۲۱ برگزار میشود.
Post #1393
1.04K
- ❤ 13
- 👎 2
- 👍 1