Logic based program synthesis and transformation: 12th international workshop, Madrid, Spain, Septem… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Logic based program synthesis and transformation : 12th international workshop, Madrid, Spain, September 17 - 20, 2002 ; revised selected papers
Beteiligte: Leuschel, Michael [Hrsg.]
Veranstaltung: LOPSTR
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2003
Erschienen in: Lecture notes in computer science ; 2664
Umfang: X, 279 S.; graph. Darst; 24 cm
Sprache: Englisch
ISBN: 3540404384
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Logische Programmierung > Programmsynthese
Logische Programmierung > Programmtransformation
Computational logic
Logische Programmierung > Programmsynthese
Logische Programmierung > Programmtransformation
Computational logic
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Logic based program synthesis and transformation