« Résolvant » : différence entre les versions


m (Arielle H a déplacé la page Resolvent vers Résolvant)
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(3 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:UTexas]]
== Définition ==
== Définition ==
xxxxxxx
Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.


== Français ==
== Français ==
xxxxxxx
'''résolvant'''
 
'''résolvante'''
   
   
== Anglais ==
== Anglais ==
'''resolvent '''
'''resolvent'''
 
the result obtained by resolving two clauses.


==Sources==


<small>
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Resolvent&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 28 janvier 2024 à 12:24

Définition

Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.

Français

résolvant

résolvante

Anglais

resolvent

Sources

Source : TermiumPlus

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

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki