The translation of formal proofs into English

• 30 November 1976
• journal article
• Published by Elsevier in Artificial Intelligence
• Vol. 7  (3) , 261-278
• https://doi.org/10.1016/0004-3702(76)90007-2

Abstract

Keywords

• STRUCTURE
• SYMBOLIC
• ENGLISH
• TAKEN
• ARGUMENT
• TRANSLATION
• FORMAL PROOF
• WRITTEN PROOF