🔸 فایل ارائه شده در دورهمی علمی #SciTalk
🗒 «From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»
مقاله:
https://zenodo.org/records/22258054
🔸 می‌توانید ویدیوی ضبط شده این جلسه را از طریق پیوند زیر تماشا کنید:
https://nikan.iut.ac.ir/rooms/pic-hwm-kcs-zrg/public_recordings
🎙 ارائه دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان
🗓 برگزار شده در تاریخ ۲۱ مهر ۱۴۰۵
🔹 کانال تلگرام انجمن: @math_sc
Post #1892
87
انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان #SciTalk 🔸انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان برگزار می‌کند: 💥دورهمی علمی SciTalk جایی برای هم‌افزایی علمی در کنار هم جلسه هفتم: «From Modal Logic to Bisimulation Games: A Game-Theoretic Classification» این ارائه به بررسی Bisimulation Games در Modal…Classification of Bisimulation Games IUT Slides.pdf368.4 KB
- ❤ 4