|
ISBN:
|
2008920893 价格： |
|
附注:
|
xxi, 681 p. : |
|
由:
|
LNCS sublibrary. 继承. |
|
著者:
|
Trakhtenbrot, B. A. |
|
著者:
|
Avron, Arnon. |
|
著者:
|
Dershowitz, Nachum. |
|
著者:
|
Rabinovich, Alexander. |