Logic based program synthesis and transformation : 8th international workshop ; selected papers

Logic based program synthesis and transformation 8th international workshop ; selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: LOPSTR (BerichterstatterIn)
Weitere Verfasser: Flener, Pierre (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1999
Schriftenreihe:Lecture notes in computer science 1559
Schlagworte:
Konferenzschrift > Logische Programmierung > Programmsynthese > Programmtransformation
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 330 S.
ISBN:3540657657