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

Livres Michaël Rusinowitch

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