|
Logic-Based Program Synthesis and Transformation
Description
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings (Volume 16117)
English | 2026 | Original PDF | 5 MB | 221 Pages
Santiago Escobar, Laura Titolo, 3032048478, 9783032048479, 9783032048486, 978-3032048479, 978-3032048486, B0FR14YTBR