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

Téléchargez ou lisez le livre Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique de Serenella Cerrito au format PDF et EPUB. Ici, vous pouvez télécharger gratuitement tous les livres au format PDF ou Epub. Utilisez le bouton disponible sur cette page pour télécharger ou lire un livre en ligne.

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