Automated theorem proving Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Automated theorem proving: A logical basis (Fundamental studies in computer science)

Automated theorem proving: A logical basis by Donald W. Loveland
1 rating, 5.00 average rating, 0 reviews

Automated theorem proving Quotes Showing 0-0 of 0

All Quotes
Quotes By Donald W. Loveland