T. H. Hu

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Publications

T. H. Hu, Chuan Yi Tang, Richard C. T. Lee
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving. Ann. Math. Artif. Intell. 6 (1-3) (1992)
T. H. Hu, Chuan Yi Tang, Richard C. T. Lee
An Average Case Analysis of Monien and Speckenmeyer's Mechanical Theorem Proving Algorithm. ISA (1991)