Chargement...
Chargement...

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

Auteur : Serenella Cerrito


27,50 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

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

Fiche Technique

Paru le : 14/10/2008

Thématique : Informatique Etudiant

Auteur(s) : Auteur : Serenella Cerrito

Éditeur(s) : Vuibert

Collection(s) : Capes-agrég

Contributeur(s) : Préfacier :

Série(s) : Non précisé.

ISBN : 978-2-7117-2069-9

EAN13 : 9782711720699

Reliure : Broché

Pages : XII-178

Hauteur: 24.0 cm / Largeur 17.0 cm


Épaisseur: 1.3 cm

Poids: 376 g