William H. Henneman

Publication Activity (10 Years)

Years Active: 1971-1972
Publications (10 Years): 0

Publications

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