Logic-Based Program Synthesis and Transformation: 32nd International Symposiu…
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-16767-6
- Collation
- xiii, 155p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.332 Log
Search Result
Found 1 from your keywords: Author : "Villanueva, Alicia"
Query took 0.00079 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography