No CrossRef data available.
Article contents
Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk.
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1994