Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574
Journal Articles
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- November 2011
has subject area
- 0102 Applied Mathematics (FoR)
- 0103 Numerical and Computational Mathematics (FoR)
- 0803 Computer Software (FoR)
- Software Engineering (Science Metrix)