Author

Donald W. Loveland

2 books found

Cover of Three Views of Logic

Three Views of Logic

Donald W. Loveland, Richard E. Hodel, S G Sterrett · First published 2014

Cover of Automated theorem proving

Automated theorem proving

Donald W. Loveland · First published 1978