Theorem Proving with the Real Numbers
John Harrison
Download - Immediately Available
Format: eBook (PDF)
Theorem Proving with the Real Numbers
John Harrison
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Handbook of Practical Logic and Automated Reasoning
John Harrison
Download - Immediately Available
Format: eBook (EPUB)
Handbook of Practical Logic and Automated Reasoning
John Harrison
Item not Available
Format: Book (Hardback)
£114.00
£105.55
Item not Available
Book (Hardback)
Handbook of Practical Logic and Automated Reasoning
John Harrison
Download - Immediately Available
Format: eBook (PDF)