Logic-based program synthesis and transformation 33rd international symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	LOPSTR (VerfasserIn)
Weitere Verfasser:	Glück, Robert (HerausgeberIn), Kafle, Bishoksan (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2023
Schriftenreihe:	Lecture notes in computer science 14330
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!