Fondements de la démonstration automatique de théorèmes, deuxième édition Jean Gallier est un ouvrage de référence bien établi qui s'intéresse en profondeur à la démonstration automatique de théorèmes en informatique. Cette édition fournit une base théorique et des éclairages pratiques pour comprendre les algorithmes et les méthodes de preuve automatique.
Le livre convient aux étudiants et aux professionnels en informatique qui souhaitent approfondir leurs connaissances de la logique et des techniques de démonstration automatique.
Informations sur le produit
- Auteur : Jean Gallier
- Série : Dover Books on Computer Science
- Éditeur : Dover Publications Inc.
- Date de publication : 2015-06-26
- Nombre de pages : 544
- ISBN : 9780486780825
- Thème : Logique mathématique
- BISAC : MATHÉMATIQUES / Logique