Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp.
- 1 June 1986
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 51 (2) , 464-465
- https://doi.org/10.2307/2274071
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: