William H. Henneman

1972
2		W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. Artif. Intell. 3(1-3): 27-60 (1972)
1971
1		W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. IJCAI 1971: 586-600

Coauthor Index

1	W. W. Bledsoe	[1] [2]
2	Robert S. Boyer	[1] [2]