T. H. Hu

	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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page