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