Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings
  • Published Year: 2022
  • Page count: 186
  • File Size: 3 MB
  • Language: English
  • Published by: Springer
  • Visited by: 24
  • Rating/Review: 4.5
  • ISBN: 9783030988685
    9783030988692

Keywords:

تندتک
تندتک

در این کانال تلگرام، مسعود بیگی، تجربیات خود را از دنیای تکنولوژی، استارتاپ، کارآفرینی و مدیریت فنی با شما به اشتراک می گذارد

Learn More

Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings

4.5

Reviews from our users

Unordered Computer Science and Theory English
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:

Free Direct Download

Get Free Access to Download this and other Thousands of Books (Join Now)

Register /Login

Authors:

Author's picture placeholder
Wim Vanhoof

Reviews:

4.5

Based on 0 users review