Umfang:
IX, 450 S. :
,
graph. Darst.
ISBN:
3-540-58792-6
,
0-387-58792-6
Serie:
Lecture notes in computer science 883
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Logische Programmierung
;
Programmtransformation
;
Logische Programmierung
;
Metaprogrammierung
;
Logische Programmierung
;
Metaprogrammierung
;
Logik
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift