Handbook of Practical Logic and Automated Reasoning

By clibrary on Mon, 06/23/2025 - 19:48
Author

Harrison

Publisher

Cambridge University Press

Subject

Mathematics,Computer Science

Year

2014

ISBN

9780511576430

URL
https://doi.org/10.1017/CBO9780511576430