Logic Theorist : Différence entre versions


De DataFranca
(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 source 2017
(Aucune différence)

Version du 13 septembre 2019 à 20: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.


Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : admin
Vous devez demander un compte pour contribuer à cette page.