پیچیدگی توصیفی سیستم های رسمی: بیست و سومین کنفرانس بین المللی IFIP WG 1.02، DCFS 2021، رویداد مجازی، 5 سپتامبر 2021، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 13037)
Descriptional Complexity of Formal Systems: 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings (Lecture Notes in Computer Science, 13037)
نویسنده: Yo-Sub Han (editor), Sang-Ki Ko (editor)
ناشر: Springer
سال انتشار: 2021
تعداد صفحات: 210
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت