An edition of Intelligence artificielle et informatique théorique (1994)
Intelligence artificielle et informatique théorique
By Jean-Marc Alliot
Publish Date
1994
Publisher
Cépaduès-éd.
Language
fre
Pages
520
Description:
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
Times: 20e s.