UID:
kobvindex_ZLB13278910
Format:
VIII, 181 Seiten
,
graph. Darst.
,
24 cm
Edition:
1
ISBN:
3540421270
Series Statement:
Lecture notes in computer science Vol. 2042
Note:
Literaturangaben
,
Text engl.
Language:
German
Keywords:
Logische Programmierung
;
Programmsynthese
;
Kongress
;
London 〈2000〉
;
Logische Programmierung
;
Programmtransformation
;
Kongress
;
London 〈2000〉
;
Computational logic
;
Kongress
;
London 〈2000〉
;
Kongress
;
Konferenzschrift