|
附注:
|
xiii, 420 p. : |
|
由:
|
Lecture notes in computer science, 继承. |
|
由:
|
LNCS sublibrary. 继承. |
|
著者:
|
Diekert, Volker, |
|
著者:
|
Volkov, Mikhail V. |
|
著者:
|
Voronkov, A. |