Format:
1 Online-Ressource (XIII, 455 S.)
,
graph. Darst.
ISBN:
9783540705888
,
9783540705901
Series Statement:
Lecture notes in computer science 5117
Language:
English
Subjects:
Computer Science
Keywords:
Reduktionssystem
;
Hagenberg 〈Mühlkreis, 2008〉
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-540-70590-1
Author information:
Voronkov, Andrei 1959-
Bookmarklink