Donald Loveland · 1 obras en el catálogoObrasMMachine Program for Theorem-ProvingMachine Program for Theorem-Proving