Clauses parentes

Révision datée du 14 septembre 2019 à 09:03 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

parent clauses

in resolution theorem proving, the two original clauses from which a new clause is derived by resolution.

Source : UTexas Artificial Intelligence Vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Clauses_parentes&oldid=19853 »

Contributeurs: Imane Meziani, wiki