W.H. Henneman (henneman-wh)

Contributi a Philosophie.ch

Bibliography

Bledsoe, Woodrow W., Boyer, Robert S. and Henneman, W. H. 1972. “Computer Proofs of Limit Theorems.” Artificial Intelligence 3(1–3): 27–60.