Format:
IX, 450 S.
,
graph. Darst.
ISBN:
0387587926
,
3540587926
Series Statement:
Lecture notes in computer science 883
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Fribourg, Laurent Logic Program Synthesis and Transformation - Meta-Programming in Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1994 ISBN 9783540491040
Additional Edition:
Erscheint auch als Online-Ausgabe Logic program synthesis and transformation - meta-programming in logic Berlin [u.a.] : Springer, 1994 ISBN 9783540491040
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Metaprogrammierung
;
Metalogik
;
Metalogik
;
Konferenzschrift
;
Konferenzschrift