Format:
XII, 590 S.
ISBN:
3540408010
Series Statement:
Lecture notes in computer science 2803
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Logik
;
Programmierlogik
;
Logische Programmierung
;
Konferenzschrift
Author information:
Baaz, Matthias 1960-