Chargement...
Chargement...
Sciences - SavoirsInformatiqueInformatique, réseaux et internetLangages de programmation
Démonstration automatique : techniques de réécriture

Démonstration automatique : techniques de réécriture

Auteur : Michaël Rusinowitch

26,22 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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. ©Electre 2025

Fiche Technique

Paru le : 01/01/1989

Thématique : Langages de programmation

Auteur(s) : Auteur : Michaël Rusinowitch

Éditeur(s) : InterEditions

Collection(s) : Science informatique

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9782729602635

Reliure : Broché

Pages : 150

Hauteur: 23.0 cm / Largeur 16.0 cm


Poids: 0 g