Détail de l'auteur
Auteur Gilles dowek |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesLes démonstrations et les algorithmes : introduction a la logique et a la calculabilité / Gilles dowek
Titre : Les démonstrations et les algorithmes : introduction a la logique et a la calculabilité Type de document : texte imprimé Auteurs : Gilles dowek, Auteur Editeur : Paris : Ellipse Année de publication : 2011 Importance : 193P Présentation : ill col Format : 25cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Mots-clés : modéles/algorithmes/prédicats Index. décimale : 510 mathe Les démonstrations et les algorithmes : introduction a la logique et a la calculabilité [texte imprimé] / Gilles dowek, Auteur . - Paris : Ellipse, 2011 . - 193P : ill col ; 25cm.
ISBN : 978-2-7302-1569-5
Langues : Français (fre)
Mots-clés : modéles/algorithmes/prédicats Index. décimale : 510 mathe Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Les démonstrations et les algorithmes : introduction a la logique et a la calculabilité Type de document : texte imprimé Auteurs : Gilles dowek, Auteur Editeur : Paris : Ellipse Année de publication : 2011 Importance : 193P Présentation : ill col Format : 25cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Mots-clés : modéles/algorithmes/prédicats Index. décimale : 510 mathe Les démonstrations et les algorithmes : introduction a la logique et a la calculabilité [texte imprimé] / Gilles dowek, Auteur . - Paris : Ellipse, 2011 . - 193P : ill col ; 25cm.
ISBN : 978-2-7302-1569-5
Langues : Français (fre)
Mots-clés : modéles/algorithmes/prédicats Index. décimale : 510 mathe Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité FST248/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST247/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST246/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST245/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST244/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST243/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST242/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST241/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST240/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible FST239/26 P/510/277 Livre Bibliothèque principale Mathématique( 510) Disponible
