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 | 150 × 220 × 10 mm · 545 g |
| Lengua | Alemán |
| Editor | Fernandez, Maribel |