Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science, 1831)
$2,919.00
| Peso | 28.89 kg |
|---|---|
| ISBN | |
| ISBN13 | |
| Author | |
| Publisher | |
| Binding | |
| Lenguage | |
| Publish Year | |
| Edition | |
| Pages |
