T. H. Hu

List of publications from the DBLP Bibliography Server - FAQ

1992

2 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): 235-251 (1992)

1991

1 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: 116-126

1992
2		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): 235-251 (1992)
1991
1		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: 116-126

Coauthor Index

1 Richard C. T. Lee (Richard Chia-Tung Lee) [1] [2]

2 Chuan Yi Tang [1] [2]

1	Richard C. T. Lee (Richard Chia-Tung Lee)	[1] [2]
2	Chuan Yi Tang	[1] [2]