Documents disponibles écrits par cet auteur

Logique pour l'informatique / Serenella Cerrito

Public ISBD Titre : Logique pour l'informatique : Introduction à la déduction automatique Type de document : texte imprimé Auteurs : Serenella Cerrito, Auteur Editeur : Vuibert (PARIS) Année de publication : impr. 2008 Importance : 1 vol. (XII-178 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2069-9 Note générale : Bibliogr., 1 p. Index Langues : Français (fre) Index. décimale : 2834 Logique pour l'informatique [texte imprimé] : Introduction à la déduction automatique / Serenella Cerrito, Auteur . - PARIS : Vuibert, impr. 2008 . - 1 vol. (XII-178 p.) : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-7117-2069-9 Bibliogr., 1 p. Index Langues : Français (fre) Index. décimale : 2834

Réservation

Réserver ce document

Exemplaires

Code barre	Cote	Support	Localisation	Section	Disponibilité
2834/1	2834 CER	Texte imprimé	unité des ouvrages	Programmation	Disponible
2834/2	2834 CER	Texte imprimé	unité des ouvrages	Programmation	Disponible
2834/3	2834 CER	Texte imprimé	unité des ouvrages	Programmation	Disponible
2834/4	2834 CER	Texte imprimé	unité des ouvrages	Programmation	Disponible