![](/img/cover-not-exists.png)
Wos Larry, Overbeek Ross, Lusk Ewing, and Boyle Jim. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp.
Beeson, Michael J.Volume:
51
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S0022481200031340
Date:
June, 1986
File:
PDF, 343 KB
english, 1986