E. Suen

Publication Activity (10 Years)

Years Active: 1986-1988
Publications (10 Years): 0

Publications

Franz Oppacher, E. Suen
HARP: A Tableau-Based Theorem Prover. J. Autom. Reason. 4 (1) (1988)
Franz Oppacher, E. Suen
Controlling Deduction with Proof Condensation and Heuristics. CADE (1986)