Format:
X, 248 S.
,
graph. Darst.
ISBN:
9783642205507
,
364220550X
Series Statement:
Lecture notes in computer science 6564
Additional Edition:
Erscheint auch als Online-Ausgabe Logic-based program synthesis and transformation
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Programmsynthese
;
Programmtransformation
;
Programmierparadigma
;
Beweistheorie
;
Formale Methode
;
Logische Programmierung
;
Metaprogrammierung
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/1010602330/04
URL:
http://deposit.d-nb.de/cgi-bin/dokserv?id=3702279&prov=M&dok_var=1&dok_ext=htm
Bookmarklink