Accueil
Détail d'une collection
|
|
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Titre de série : Logique, 1 Titre : Méthodes pour l'informatique fondamentale Type de document : texte imprimé Auteurs : Paul Gochet (1932-2011), Auteur ; Paul Gochet (1932-2011), Auteur ; Pascal Gribomont, Auteur ; André Thayse (1940-....), Auteur Editeur : Paris - France : Hermès science publications Année de publication : 1992 Collection : Langue, raisonnement, calcul, ISSN 0988-0569 Importance : 456 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-249-6 Note générale : Bibliogr. p. [435]-446. Index Langues : Français (fre) Catégories : Calcul des prédicats ; Intelligence artificielle ; Logique mathématique -- Manuels ; Logique symbolique et mathématique ; Prédicat (Logique) ; Théorie de la démonstration Index. décimale : 511.3 Note de contenu : v. 1. Méthodes pour l'informatique fondamentale -- v. 2. Méthodes formelles pour l'étude des programmes -- v. 3. Méthodes pour l'intelligence artificielle / Paul Gochet, Pascal Gribomont, André Thayse. Logique, 1. Méthodes pour l'informatique fondamentale [texte imprimé] / Paul Gochet (1932-2011), Auteur ; Paul Gochet (1932-2011), Auteur ; Pascal Gribomont, Auteur ; André Thayse (1940-....), Auteur . - Paris - France (Paris - France) : Hermès science publications, 1992 . - 456 p. : ill. ; 24 cm. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-249-6
Bibliogr. p. [435]-446. Index
Langues : Français (fre)
Catégories : Calcul des prédicats ; Intelligence artificielle ; Logique mathématique -- Manuels ; Logique symbolique et mathématique ; Prédicat (Logique) ; Théorie de la démonstration Index. décimale : 511.3 Note de contenu : v. 1. Méthodes pour l'informatique fondamentale -- v. 2. Méthodes formelles pour l'étude des programmes -- v. 3. Méthodes pour l'intelligence artificielle / Paul Gochet, Pascal Gribomont, André Thayse. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 23925 511.3 GOCH L Livre LSH Libre Accès Disponible
