Logic-Based Program Synthesis and Transformation
de Robert Glück, Bishoksan Kafle
Ediciones (1)
- Logic-Based Program Synthesis and Transformation (2023)
Springer · inglés · ISBN 9783031457838
de Robert Glück, Bishoksan Kafle
Springer · inglés · ISBN 9783031457838
1985
