author : Richard W. Weyhrauch

Short works

• Prolegomena to a theory of mechanized formal reasoning. 1990. (In The Foundations of Artificial Intelligence )