1 results
Prolegomena to a theory of mechanized formal reasoning
-
-
- Book:
- The Foundations of Artificial Intelligence
- Published online:
- 03 May 2010
- Print publication:
- 26 April 1990, pp 72-94
-
- Chapter
- Export citation