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
 
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)
 
Ligne 2 : Ligne 2 :
 
== en construction ==
 
== en construction ==
 
[[Catégorie:Vocabulary]]
 
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence Artificielle]]
+
[[Catégorie:Intelligence artificielle‏‎]]
 
[[Catégorie:UTexas]]
 
[[Catégorie:UTexas]]
  

Version actuelle datée du 13 septembre 2019 à 22:30

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