Yüklüyor......
Automated deduction CADE 12
| Yazar: | |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Springer-Verlag
1994
|
| Fiziksel Özellikler: | 848 |
|---|---|
| ISBN: | 3-540-58156-1 |
| Yazar: | |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Springer-Verlag
1994
|
| Fiziksel Özellikler: | 848 |
|---|---|
| ISBN: | 3-540-58156-1 |