Volume 4,
Number 1,
March 1988
Basic Research Problems
- Larry Wos:
The Problem of Finding a Strategy to Control Binary Paramodulation.
101-107
Volume 4,
Number 2,
June 1988
- Robert S. Boyer, J. Strother Moore:
The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.
117-172
- Marek Zaionc:
Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus.
173-190
- Melvin Fitting:
First-Order Modal Tableaux.
191-213
Basic Research Problems
- Larry Wos:
The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation.
215-217
Problem Corner
- Art Quaife:
Automated Proofs of Löb's Theorem and Gödel's Two Incompleteness Theorems.
219-231
Volume 4,
Number 3,
September 1988
- Shang-Ching Chou:
An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry.
237-267
- Sidney C. Bailin:
A lambda-Unifiability Test for Set Theory.
269-286
- David A. Plaisted:
Non-Horn Clause Logic Programming Without Contrapositives.
287-325
Basic Research Problems
- Larry Wos:
The Problem of Self-Analytically Choosing the Set of Support.
327-329
Problem Corner
Volume 4,
Number 4,
December 1988
Basic Research Problems
- Larry Wos:
The Problem of Self-Analytically Choosing the Weights.
463-464
Problem Corner
Copyright © Mon Nov 30 20:28:46 2009
by Michael Ley (ley@uni-trier.de)
