Volume 3,
Number 1,
1987
Basic Research Problems
- Larry Wos:
Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information.
81-90 BibTeX
Problem Corner:
Volume 3,
Number 2,
1987
Basic Research Problems
- Larry Wos:
The Problem of Choosing the Inference Rule to Employ.
201-209 BibTeX
Problem Corner
- Rick L. Stevens:
Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover.
211-221 BibTeX
Volume 3,
Number 3,
1987
Basic Research Problems
- Larry Wos:
The Problem of Extending the Set of Support Strategy.
319-328 BibTeX
Problem Corner
Volume 3,
Number 4,
1987
Basic Research Problems
- Larry Wos:
The Problem of Definition Expansion and Contraction.
433-435 BibTeX
Problem Corner
- Tie-Cheng Wang:
Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory.
437-451 BibTeX
Copyright © Sun May 17 00:06:21 2009
by Michael Ley (ley@uni-trier.de)
