A comprehensive index of philosophy book reviews

Reviews matching “Automated theorem proving. A logical basis. Fundamental studies in computer science, vol”

1 result

BookAuthorReviewerJournalDate
Automated theorem proving. A logical basis. Fundamental studies in computer science, vol Donald W. Loveland J. A. Robinson The Journal of Symbolic Logic 1980

Open this search with filters