- Published Year: 2022
- Page count: 186
- File Size: 3 MB
- Language: English
- Published by: Springer
- Visited by: 31
- Rating/Review: 4.6
-
ISBN:
3030988686
9783030988685
Keywords:
تندتک
در این کانال تلگرام، مسعود بیگی، تجربیات خود را از دنیای تکنولوژی، استارتاپ، کارآفرینی و مدیریت فنی با شما به اشتراک می گذارد
Learn MoreLogic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)
4.6
Reviews from our users
You Can Ask your questions from this book's AI after Login
Each download or ask from book AI costs 2 points. To earn more free points, please visit the Points Guide Page and complete some valuable actions.Related Refrences:
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.
Free Direct Download
Get Free Access to Download this and other Thousands of Books (Join Now)
