Format:
XIII, 541 S.
ISBN:
3540678956
Series Statement:
Lecture notes in computer science 1862
Note:
Literaturangaben
Language:
English
Keywords:
Theoretische Informatik
;
Logik
;
Logische Programmierung
;
Programmierlogik
;
Komplexitätstheorie
;
Konferenzschrift
;
Konferenzschrift