Computational logic
- 責任表示:
- edited by Ulrich Berger, Helmut Schwichtenberg
- シリーズ名:
- NATO ASI series. Series F, Computer and systems sciences
- シリーズ巻号:
- 165
- 出版情報:
- Berlin: Springer, 1999
- ISSN:
- 02581248
- ISBN:
- 9783540645894 [3540645896]
- 請求記号:
- N11483/165
- 資料種別:
- 国際会議録
類似資料:
Springer |
Springer |
Springer-Verlag |
IOS Press |
Springer-Verlag |
Society of Photo-optical Instrumentation Engineers |
Springr-Verlag |
Martinus Nijihoff Publishers |
IOS Press |
SPIE-The International Society for Optical Engineering |
Springer-Verlag |
American Society of Mechanical Engineers |