附注:
|
x, 396 p. : |
由:
|
Lecture notes in computer science ; 继承. |
由:
|
LNCS sublibrary. 继承. |
著者:
|
Berghammer, R. |
著者:
|
M?ller, Bernhard, |
著者:
|
Struth, Georg. |
主要团体责任者:
|
International Workshop on Applications of Kleene Algebra |