Format:
XII, 626 S.
,
graph. Darst.
ISBN:
9783540454588
,
3540454586
Series Statement:
Lecture notes in computer science 4207
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Logik
;
Computational logic
;
Logische Programmierung
;
Programmierlogik
;
Konferenzschrift
Author information:
Ésik, Zoltán 1951-2016