Recomienda este artículo a tus amigos:
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions.
345 pages, 1 Illustrations, color; 63 Illustrations, black and white; X, 345 p. 64 illus., 1 illus.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 13 de febrero de 2021 |
| ISBN13 | 9783030684457 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 345 |
| Dimensiones | 235 × 156 × 21 mm · 536 g |
| Lengua | Alemán |
| Editor | Fernandez, Maribel |