A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
DĂ©tail de l'indexation
Ouvrages de la bibliothèque en indexation 2834
Faire une suggestion Affiner la rechercheLogique pour l'informatique / Serenella Cerrito
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