Démonstration automatique : techniques de réécriture
Éditeur: InterEditions
1989150 pagesISBN 9782729602635
Format: BrochéLangue : Français
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.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)