Back to US deals/Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 Interna
Elsevier Science Ltd
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 Interna
Barcode (UPC/EAN):09780444898807
Category: Books & Stationery
Best price found:
$176.18
1 verified partner store
In-stock deals (1 store)
Sorted by lowest item price