Logic Theorist (le théoricien logique ou de la logique)


Révision datée du 13 septembre 2019 à 21:57 par Pitpitt (discussion | contributions) (Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence Artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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: Imane Meziani, wiki, Sihem Kouache