Logic-based program synthesis and transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	LOPSTR (VerfasserIn)
Weitere Verfasser:	Mesnard, Fred (HerausgeberIn), Stuckey, Peter J. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2019
Schriftenreihe:	Lecture notes in computer science 11408
Schlagworte:	Logic programming > Computer logic > Computer software > Development > Computer software ; Development > Conference papers and proceedings > Konferenzschrift > Logische Programmierung > Softwareentwicklung
Online Zugang:	Inhaltsverzeichnis Inhaltstext Umschlagtext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!