Volume 12, Number 1, 1994
Eliezer L. Lozinskii
: Resolving Contradictions: A Plausible Semantics for Inconsistent Systems.
: TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic.
Volume 12, Number 2, 1994
Volume 12, Number 3, 1994
Giuseppa Carrà Ferro
: An Extension of a Procedure to Prove Statements in Differential Geometry.
, Chih-Hung Wu
: Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures.
The information on this page was provided by Camilla Schwind