von J. M. Lorente Tallada · ISBN 9788485630479
MwSt. inbegriffen
Hamelyn Qualitätsgarantie · geprüft und verifiziert, oder Geld zurück
«Prueba automática de teoremas» ist die 1982 veröffentlichte Monografie von J. M. Lorente Tallada, mit 127 Seiten, auf Spanisch.
Das Buch untersucht das automatische Beweisen von Theoremen und beschreibt die theoretischen Grundlagen und praktischen Aspekte der Automatisierung des deduktiven Schließens, unter Berücksichtigung der in diesem Bereich verwendeten Methoden und Techniken.
Das Werk ist von Interesse für Studierende und Fachleute der Informatik und Mathematik, die die rechnergestützte Logik kennenlernen möchten, die auf das automatische Beweisen angewendet wird.
