Term Rewriting and All That
Franz Baader
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£52.50
£45.21
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to BasketIsabelle/HOL : A Proof Assistant for Higher-Order Logic
Tobias Nipkow
Download Now
Format: eBook (PDF)