7th International Conference on Automated Deduction : Proceedings / edited by R. E. Shostak
- 版:
- 1st ed. 1984
- 資料種別:
- 電子ブック
- 出版情報:
- New York, NY : Springer New York, 1984
- 形態:
- VIII, 509 p.
- シリーズ名:
- Lecture Notes in Computer Science ; 170
- 著者名:
- ISBN:
- 9780387347684 [0387347682]
9781475789249 [1475789246]
9780387960227 [0387960228] - 書誌ID:
- EB00001321
類似資料:
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg | |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
