Loading
Cover of Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

معرفی و ارزیابی کتاب

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

Emanuele De Angelis (editor),Wim Vanhoof (editor)

English Unordered تئوری و علوم کامپیوتر
4.6 / 5

0 نظر

2022

سال انتشار

186

صفحه

283

بازدید

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

پیش از خواندن

این کتاب چه چیزی به شما می‌دهد؟

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.

از این کتاب بپرس

پرسشت با عنوان و نویسنده همین کتاب برای دستیار ارسال می‌شود. هر پاسخ ۲ امتیاز مصرف می‌کند.

وارد شوید تا بتوانید از دستیار کتاب بپرسید.

نظر خوانندگان

0 نظر، میانگین 4.6 از ۵

هنوز نظری ثبت نشده

اگر این کتاب را خوانده‌اید، تجربه‌تان را با دیگران به اشتراک بگذارید.

نظر خودت را بنویس

وارد شوید تا نظر خود را ثبت کنید.

پرسش و پاسخ خوانندگان

سؤال مشخص بپرس و از تجربه جامعه استفاده کن.

وارد شوید تا سؤال بپرسید یا پاسخ بدهید.

هنوز پرسشی ثبت نشده

اولین سؤال روشن و مفید را شما مطرح کنید.