سنتز و تحول برنامه مبتنی بر منطق: سی و دومین سمپوزیوم بین المللی، LOPSTR 2022، تفلیس، گرجستان، 21 تا 23 سپتامبر 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science)
نویسنده: Alicia Villanueva (editor)
ناشر: Springer
سال انتشار: 2022
تعداد صفحات: 165
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت