GEOTRUST SSL CERTIFICATE
| Titre : | Démonstration automatique : techniques de réécriture |
| Auteurs : | Michaël Rusinowitch, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : InterEditions, 1989 |
| Collection : | Science informatique |
| ISBN/ISSN/EAN : | 978-2-7296-0263-5 |
| Format : | 150 p. / 23 x 16 cm |
| Langues: | Français |
| Index. décimale : | 006.1 |
| Mots-clés: | intelligence artificielle |
| Résumé : |
Cet ouvrage sera utile aux informaticiens intéressés par la mécanisation du raisonnement, l'un des problèmes clés de l'intelligence artificielle. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
