ISBN:
2007937099 价格：
附注:
xiii, 562 p. :
由:
LNCS sublibrary.
继承.
著者:
Dershowitz, Nachum.
著者:
Voronkov, A.