Handbook of Practical Logic and Automated Reasoning
John Harrison
Download - Immediately Available
Format: eBook (PDF)
Handbook of Practical Logic and Automated Reasoning
John Harrison
Download - Immediately Available
Format: eBook (EPUB)
Theorem Proving with the Real Numbers
John Harrison
Download - Immediately Available
Format: eBook (PDF)