Volume 5, Number 1, March 1989
Basic Research Problems
- Larry Wos:
The Problem of Finding an Inference Rule for Set Theory.
93-95

Problem Corner
- Art Quaife:
Automated Development of Tarski's Geometry.
97-118

Volume 5, Number 2, June 1989
Basic Research Problems
- Larry Wos:
The Problem of Determining the Size of a Complete Set of Reductions.
235-237

Problem Corner
Volume 5, Number 3, September 1989
Basic Research Problems
- Larry Wos:
The Problem of Guaranteeing the Existence of a Complete Set of Reductions.
399-401

Problem Corner
Volume 5, Number 4, December 1989
Basic Research Problems
- Larry Wos:
The Problem of Guaranteeing the Absence of a Complete Set of Reductions.
531-532

Problem Corner
Last update Wed May 22 17:53:21 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page