per J. M. Lorente Tallada · ISBN 9788485630479
IVA inclòs
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
«Prueba automática de teoremas» és la monografia de J. M. Lorente Tallada, publicada el 1982, amb 127 pàgines, en castellà.
El llibre estudia la demostració automàtica de teoremes i descriu els fonaments teòrics i els aspectes pràctics de l'automatització del raonament deductiu, amb atenció als mètodes i tècniques emprats en aquest camp.
Obra d'interès per a estudiants i professionals de la informàtica i les matemàtiques que vulguin conèixer la lògica computacional aplicada a la demostració automàtica.
