Détail de l'auteur
Documents disponibles écrits par cet auteur (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.[...]
