Détail de l'auteur
Auteur Pascal Lafourcade |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Informatique Théorique Logique et Démonstration automatique : introdiction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur Mention d'édition : paris Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 209p Présentation : ill,couv Format : 24cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Langues : Français (fre) Mots-clés : Informatique Théorique Logique Démonstration automatique introdiction logique propositionnelle logique premier ordre Index. décimale : 005.1 Programmation Informatique Théorique Logique et Démonstration automatique : introdiction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur . - paris . - Paris : Ellipses, 2012 . - 209p : ill,couv ; 24cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Langues : Français (fre)
Mots-clés : Informatique Théorique Logique Démonstration automatique introdiction logique propositionnelle logique premier ordre Index. décimale : 005.1 Programmation Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité P/005.1/189+003 P/005.1/189 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/189+005 P/005.1/189 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/189+004 P/005.1/189 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/189+002 P/005.1/189 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/189+001 P/005.1/189 Livre Bibliothèque principale Informatique (004.........006 ) Disponible
