Login / Signup

The Translation of Formal Proofs into English.

Daniel L. Chester
Published in: Artif. Intell. (1976)
Keyphrases