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
Problem Corner:
Volume 3,
Number 2,
1987
- Anthony G. Cohn:
A More Expressive Formulation of Many Sorted Logic.
113-200
Basic Research Problems
- Larry Wos:
The Problem of Choosing the Inference Rule to Employ.
201-209
Problem Corner
- Rick L. Stevens:
Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover.
211-221
Volume 3,
Number 3,
1987
Basic Research Problems
- Larry Wos:
The Problem of Extending the Set of Support Strategy.
319-328
Problem Corner
Volume 3,
Number 4,
1987
Basic Research Problems
- Larry Wos:
The Problem of Definition Expansion and Contraction.
433-435
Problem Corner
- Tie-Cheng Wang:
Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory.
437-451
Copyright © Mon Nov 2 21:43:09 2009
by Michael Ley (ley@uni-trier.de)
