Chargement...
Chargement...
Auteur Rusinowitch, Michaël
Auteur

Support

Série

Disponibilité

1
Démonstration automatique : techniques de réécriture

Démonstration automatique : techniques de réécriture

Auteur : Michaël Rusinowitch
Éditeur(s) : InterEditions
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. ©Electre 2025
26,22 €
Chargement...
1