(eBook PDF) Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
(eBook PDF) Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
ibuks
MSRP:
Was:
Now:
$19.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
- SKU:
- UPC:
- Condition:
- New
ibuks
(eBook PDF) Intelligent Autonomous Systems 14: Proceedings of the 14th International Conference IAS-14
MSRP:
Was:
Now:
$24.99
!