Chargement...
Chargement...
Auteur Cerrito, Serenella
Auteur

Support

Série

Disponibilité

1
Logique pour l'informatique : introduction à la déduction automatique : cours et exercices, licence d'informatique

Logique pour l'informatique : introduction à la déduction automatique : cours et exercices, licence d'informatique

Auteur : Serenella Cerrito
Éditeur(s) : Vuibert
Cours pour apprendre à utiliser la logique formelle afin de modéliser des informations sur des données et de les manipuler automatiquement, illustré d'exercices corrigés. ©Electre 2025
27,50 €
Chargement...
1