Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Logique. Vol. 2. Méthodes formelles pour l'étude des programmes
Éditeur(s): Lavoisier-Hermès
La théorie des ensembles et ses méthodes d'application. ©Electre 2024
56,00 €
Chargement...
Logique. Vol. 1. Méthodes pour l'informatique fondamentale
Éditeur(s): Lavoisier-Hermès
Une mise au point sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents. ©Electre 2024
61,00 €
Chargement...
Logique. Vol. 3. Méthodes pour l'intelligence artificielle
É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...