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

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!
Beschreibung
Beschreibung:"ISSN 1611-3349 (electronic)"--Title page verso
Includes bibliographical references and author index
Beschreibung:vi, 201 Seiten
Diagramme
24 cm
ISBN:9783030138370
978-3-030-13837-0
3030138372
3-030-13837-2