ISBN:
2002026689 价格：
附注:
x, 339 p. : 
著者:
Egly, Uwe,
著者:
Ferm鑥ller, C.
主要团体责任者:
Federated Logic Conference