The translation of formal proofs into English

DOI10.1016/0004-3702(76)90007-2zbMath0333.68062OpenAlexW2033389948MaRDI QIDQ1228369

Daniel Chester

Publication date: 1976

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(76)90007-2

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (2)

Presenting machine-found proofs ⋮ Reconstructing proofs at the assertion level

Cites Work

• Unnamed Item

This page was built for publication: The translation of formal proofs into English