Chargement...
Chargement...
Collection Langage, cognition, calcul
Auteur

Support

Série

Disponibilité

1
Logique. Vol. 3. Méthodes pour l'intelligence artificielle

Logique. Vol. 3. Méthodes pour l'intelligence artificielle

Auteur : Paul Gochet
Éditeur(s): Lavoisier-Hermès
Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la théorie de la correspon...
81,00 €
Chargement...
1