Donald W. Loveland

  1. home
  2. Author
  3. Donald W. Loveland
Donald W. Loveland

3 Published BooksDonald W. Loveland

Popular Books by Donald W. Loveland

Three Views of Logic: Mathematics, Philosophy, and Computer Science
Three Views of Logic: Mathematics, Philosophy, and Computer Science
View More

Three Views of Logic: Mathematics, Philosophy, and Computer Science

By: Donald W. Loveland
Automated theorem proving: A logical basis
Automated theorem proving: A logical basis
View More

Automated theorem proving: A logical basis

By: Donald W. Loveland
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Lecture notes in computer science 138)
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Lecture notes in computer science 138)
View More

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Lecture notes in computer science 138)

By: Donald W. Loveland