Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings

Gespeichert in:

Personen und Körperschaften: Villanueva, Alicia (HerausgeberIn)
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