Intelligence artificielle et informatique théorique
By: Jean-Marc Alliot ... Thomas Schiex ...
Contributors: Schiex, Thomas
Series: Collection Intelligence artificielle; Collection Intelligence artificielle (Toulouse)
Publisher: Cépaduès-éd.
Published: 1994
Place of publication: Toulouse
Language: fre
Format: [Texte imprimé] /
Number of pages: 520
ISBN-13: 9782854283242
Subjects: Programmation génétique; Algorithme génétique; Réseau neuronal; Apprentissage symbolique; Programmation PROLOG; Programmation SCHEME; Système expert; Programme jeu; Satisfiabilité; Programmation avec contrainte; Théorie complexité; Calculabilité; Logique non classique; Théorie résolution; Machine Turing; Calcul prédicat; Calcul propositionnel; Logique mathématique; Informatique théorique; Intelligence artificielle; Langages formels; Logique symbolique et mathématique; Systèmes experts (informatique); Programmation logique; Réseaux neuronaux (informatique); Informatique
Notes: Bibliogr. p. 485-510. Index.

Ouvrage.