Logic-Based Program Synthesis and Transformation
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Edición de la obra Logic-Based Program Synthesis and Transformation
| Autor | Robert Glück, Bishoksan Kafle |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031457838 |
| Número de Cutter | G567l |