T. H. Hu

According to our database1, T. H. Hu authored at least 2 papers between 1991 and 1992.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

1992
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.
Ann. Math. Artif. Intell., 1992

1991
An Average Case Analysis of Monien and Speckenmeyer's Mechanical Theorem Proving Algorithm.
Proceedings of the ISA '91 Algorithms, 1991


  Loading...