Eintrag weiter verarbeiten
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Weitere Verfasser: | Villanueva, Alicia [HerausgeberIn] |
Ausgabe: | 1st ed. 2022. |
Format: | E-Book |
Sprache: | Englisch |
veröffentlicht: |
Cham
Springer International Publishing
2022.
Cham Imprint: Springer 2022. |
Gesamtaufnahme: |
Lecture Notes in Computer Science
|
Schlagwörter: | |
Quelle: | Verbunddaten SWB |
ISBN: |
9783031167676
|