(eBook PDF) Theorem Proving in Higher Order Logics 1st Edition 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
(eBook PDF) Theorem Proving in Higher Order Logics 1st Edition 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
ibuks
MSRP:
Was:
Now:
$19.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Theorem Proving in Higher Order Logics 1st Edition 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
- SKU:
- UPC:
- Condition:
- New
!