جلد سخت سیاه و سفید
Product details
- Publisher : Springer; 1st ed. 2022 edition (March 13, 2022)
- Language : English
- Paperback : 186 pages
- ISBN-10 : 3030988686
- ISBN-13 : 978-3030988685
کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*
The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.
*Conference was held as a hybrid event due to the COVID-19 pandemic.
منابع کتاب کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)
این کتاب مجموعه مقالات داوری سی و یکمین کنفرانس بین‌المللی سنتز و تحول برنامه‌های مبتنی بر منطق، LOPSTR 2021 است که در 7 تا 8 سپتامبر 2021 برگزار شد.*
8 مقاله ارائه شده در این جلد با دقت بررسی و از بین 15 مقاله ارسالی بررسی شده انتخاب شدند. علاوه بر این، کتاب همچنین حاوی 1 سخنرانی دعوت شده کامل است.
*کنفرانس به دلیل همه گیری کووید-19 به صورت یک رویداد ترکیبی برگزار شد.
ارسال نظر درباره کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)