مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2022، Deerfield Beach، FL، ایالات متحده آمریکا، 10-13 ژانویه 2022، مجموعه مقالات
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
نویسنده: Sergei Artemov; Anil Nerode
ناشر: Springer Nature
سال انتشار: 2021
تعداد صفحات: 0
زبان: English
فرمت: epub - قابل تبدیل به سایر فرمت ها
حجم فایل: 30 مگابایت