Détail de l'indexation
511.3 Ouvrages de la bibliothèque en indexation 511.3076 (1)
Suggerer acquisition Affiner la recherche
Monographie imprimée
Les logiques formelles ont pour but d’étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu’au souhait de reproduire des raisonnements humains dans des systèmes informatiques.[...]
