Summary goes here
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | Englisch |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 055d8cfb-e192-4d8b-83a5-003738b45f6b |
| isbn | 9783031167676 |
| issn | |
| language | eng |
| physical | XIII, 155 p. 31 illus., 16 illus. in color.online resource. |
| publication | – publisher: Springer International Publishing dateOfPublication: 2022 |
| publishDate | 2022 |
| subjects | |
| title | Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings / edited by Alicia Villanueva. [electronic resource] : |
| topic | Computer science. Computer Science Logic and Foundations of Programming. |