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

Révision datée du 13 septembre 2019 à 20: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

Récupérée de « https://datafranca.org/wiki/index.php?title=Logic_Theorist_(le_théoricien_logique_ou_de_la_logique)&oldid=19803 »

Contributeurs: Imane Meziani, wiki, Sihem Kouache