Prolegomena to a Theory of Mechanized Formal Reasoning (1980)

by R W Weyhrauch
Venue:Arti cial Intelligence