Woodrow W. Bledsoe (bledsoe)

Contributi a Philosophie.ch

Bibliography

Bledsoe, Woodrow W. 1970. “Splitting and Reduction Heuristics in Automatic Theorem Proving.” Artificial Intelligence 2(1): 55–77.
Bledsoe, Woodrow W. 1977. “Non-Resolution Theorem Proving.” Artificial Intelligence 9(1): 23–40. Reprinted in Webber and Nilsson (1981, 91–108).
Bledsoe, Woodrow W., Boyer, Robert S. and Henneman, W. H. 1972. “Computer Proofs of Limit Theorems.” Artificial Intelligence 3(1–3): 27–60.
Bledsoe, Woodrow W. and Bruell, Peter. 1974. “A Man-Machine Theorem-Proving System.” Artificial Intelligence 5(1): 51–72.
Bledsoe, Woodrow W., Kunen, Kenneth and Shostak, Robert E. 1985. “Completeness Results for Inequality Provers.” Artificial Intelligence 27(3): 255–288.

Further References

Webber, Bonnie Lynn and Nilsson, Nils J., eds. 1981. Readings in Artificial Intelligence. San Francisco, California: Morgan Kaufmann Publishers.