Đang tải...
Automated deduction CADE 12
| Tác giả chính: | |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer-Verlag
1994
|
| Mô tả vật lý: | 848 |
|---|---|
| số ISBN: | 3-540-58156-1 |
| Tác giả chính: | |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer-Verlag
1994
|
| Mô tả vật lý: | 848 |
|---|---|
| số ISBN: | 3-540-58156-1 |