E. Suen

According to our database, E. Suen authored at least 2 papers between 1986 and 1988.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1988

HARP: A Tableau-Based Theorem Prover.

Franz Oppacher, E. Suen

J. Autom. Reason., 1988

1986

Controlling Deduction with Proof Condensation and Heuristics.

Franz Oppacher, E. Suen

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986