Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique par Serenella Cerrito

Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique par Serenella Cerrito

Titre de livre: Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique

Auteur: Serenella Cerrito

Broché: 178 pages

Date de sortie: October 6, 2008

ISBN: 2711720691

Éditeur: Vuibert

Obtenez le livre Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique par Serenella Cerrito au format PDF ou EPUB. Vous pouvez lire des livres en ligne ou les enregistrer sur vos appareils. Tous les livres sont disponibles au téléchargement sans avoir à dépenser de l'argent.

Télécharger PDF Lire En Ligne

Serenella Cerrito avec Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique