GEOTRUST SSL CERTIFICATE
Titre : | Modèles logiques et systèmes d'intelligence artificielle |
Auteurs : | Luisa Iturrioz, Éditeur scientifique ; Alain Dussauchoy, Éditeur scientifique |
Type de document : | texte imprimé |
Editeur : | Paris : Hermès science publications, 1989 |
ISBN/ISSN/EAN : | 978-2-86601-205-2 |
Format : | 352 p. / 24 x 16 cm |
Langues: | Français |
Index. décimale : | 006.1 |
Mots-clés: | intelligence artificielle ; logique mathématique |
Résumé : |
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |