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