Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Auteur Stéphane DEVISMES
|
|
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la recherche
Titre : Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre (informatique théorique) Type de document : texte imprimé Auteurs : Stéphane DEVISMES, Auteur ; Pascal LAFOURCADE, Auteur ; Michel LEVY, Auteur Editeur : Ellipses Année de publication : 2012 Collection : Technosup Importance : 209 p. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-7229-8 Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre (informatique théorique) [texte imprimé] / Stéphane DEVISMES, Auteur ; Pascal LAFOURCADE, Auteur ; Michel LEVY, Auteur . - Ellipses, 2012 . - 209 p. ; 26 cm.. - (Technosup) .
ISBN : 978-2-7298-7229-8
index
Langues : Français (fre)
Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000500742 08-02-1652 Livre Salle 1 Documentaires Exclu du prêt 203554

