Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

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

É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