The translation of Formal Proofs into (1976)

by D Chester
Venue:English, Artificial Intelligence