Volume 1, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 1, Issue 3

September 1985

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Experiments with semantic paramodulation
William McCune
Lawrence Henschen
OriginalPaper Pages: 231 - 261
Incidence calculus: A mechanism for probabilistic reasoning
Alan Bundy
OriginalPaper Pages: 263 - 283
Writing programs that construct proofs
R. L. Constable
T. B. Knoblock
J. L. Bates
OriginalPaper Pages: 285 - 326
The lion and the unicorn
H. J. Ohlbach
M. Schmidt-Schauss
Problem Corner Pages: 327 - 332