Automated Theorem Proving de Donald W. Loveland y W. W. Bledsoe (Inglés)
Automated Theorem Proving de Donald W. Loveland y W. W. Bledsoe (Inglés)
186
35 €
AMERICAN MATHEMATICAL SOCIETY Automated Theorem Proving de Donald W. Loveland y W. W. Bledsoe (Inglés)
186
35 €
Tipo de cubierta de libroCapa Mole

Bloop es mejor en la app

Sigue a amigos. Comparte experiencias. Gana credit-back. Todo es más fácil en la app. ¡Instálala ya!