A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Pascal GRIBOMONT
Documents disponibles écrits par cet auteur
Affiner la rechercheApproche logique de l'intelligence artificielle Tome 2 / André Thayse
Titre : Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données Type de document : texte imprimé Auteurs : André Thayse, Auteur ; Pascal GRIBOMONT ; georges LOUIS Mention d'édition : Editeur : Paris : Dunod Année de publication : 1989 Collection : Dunod Informatique Importance : XX-427 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 2-04-018757-X Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique Mots-clés : Sémantique Logique mathématique non classique Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données [texte imprimé] / André Thayse, Auteur ; Pascal GRIBOMONT ; georges LOUIS . - . - Paris : Dunod, 1989 . - XX-427 p. : fig. ; 24 cm. - (Dunod Informatique) .
ISBN : 2-04-018757-X
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique Mots-clés : Sémantique Logique mathématique non classique Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire INFO282 Informatique Biblio-ESTO 0000000532503 Disponible 3829
Titre : Logique volume 1 : méthodes pour l'informatique fondamentale Type de document : texte imprimé Auteurs : Paul GOCHET, Auteur ; Pascal GRIBOMONT, Auteur Editeur : Paris : Hermès Année de publication : 1997 Importance : 456p Format : 24*15cm ISBN/ISSN/EAN : 978-2-86601-249-6 Langues : (fr) Langues originales : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Logique volume 1 : méthodes pour l'informatique fondamentale [texte imprimé] / Paul GOCHET, Auteur ; Pascal GRIBOMONT, Auteur . - Paris : Hermès, 1997 . - 456p ; 24*15cm.
ISBN : 978-2-86601-249-6
Langues : (fr) Langues originales : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 PGL Mathématiques Biblio-FPN 000001280108 Disponible FPN.S202 511.3 PGL Mathématiques Biblio-FPN 000001280008 Disponible FPN.S203
Titre : Logique Volume 2 : méthodes formelles pour l'étude des programmes. Type de document : texte imprimé Auteurs : Paul GOCHET, Auteur ; Pascal GRIBOMONT, Auteur Editeur : Paris : Hermès Année de publication : 1994 Importance : 351p Format : 23*15cm ISBN/ISSN/EAN : 978-2-86601-395-0 Langues : (fr) Langues originales : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Logique Volume 2 : méthodes formelles pour l'étude des programmes. [texte imprimé] / Paul GOCHET, Auteur ; Pascal GRIBOMONT, Auteur . - Paris : Hermès, 1994 . - 351p ; 23*15cm.
ISBN : 978-2-86601-395-0
Langues : (fr) Langues originales : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 PGL Mathématiques Biblio-FPN 000001279808 Disponible FPN.S204 511.3 PGL Mathématiques Biblio-FPN 000001279908 Disponible FPN.S205
