« Logic Theorist (le théoricien logique ou de la logique) » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence Artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
(Aucune différence)
|
Version du 13 septembre 2019 à 21:57
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
Logic Theorist
one of the earliest AI programs, by Newell and Simon, which proved theorems in set theory from Principia Mathematica.
Contributeurs: Imane Meziani, wiki, Sihem Kouache