Logic-based program synthesis and transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings
Author(s)
Bibliographic Information
Logic-based program synthesis and transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings
（Lecture notes in computer science, 14919）
Springer, [2024] , , c2024
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||14919200045606840
-
No Libraries matched.
- Remove all filters.
Note
Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references and index
