Automated Theorem Proving by Donald W. Loveland and W. W. Bledsoe (English)
Automated Theorem Proving by Donald W. Loveland and W. W. Bledsoe (English)
186
35 €
AMERICAN MATHEMATICAL SOCIETY Automated Theorem Proving by Donald W. Loveland and W. W. Bledsoe (English)
186
35 €
Book cover typeCapa Mole

Bloop is better in the app

Follow friends. Share experiences. Earn credit-back. Everything is easier in the app. Install it now!