par J. M. Lorente Tallada · ISBN 9788485630479
TVA incluse
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
«Prueba automática de teoremas» est la monographie de J. M. Lorente Tallada, publiée en 1982, avec 127 pages, en espagnol.
Le livre étudie la démonstration automatique de théorèmes et décrit les fondements théoriques et les aspects pratiques de l'automatisation du raisonnement déductif, avec une attention aux méthodes et techniques employées dans ce domaine.
Un ouvrage d'intérêt pour les étudiants et les professionnels de l'informatique et des mathématiques qui souhaitent connaître la logique computationnelle appliquée à la démonstration automatique.
