附注:
|
xiv, 600 p. : |
由:
|
LNCS sublibrary. 继承. |
著者:
|
Autexier, Serge. |
主要团体责任者:
|
Calculemus 2008 |
主要团体责任者:
|
MKM 2008 |