Translation of "paramodulation" into French
paramodulation is the translation of "paramodulation" into French.
paramodulation
noun
grammar
A technique for reasoning on sets of clauses where the predicate symbol is equality.
-
paramodulation
-
Show algorithmically generated translations
Automatic translations of "paramodulation" into French
-
Glosbe Translate
-
Google Translate
Add example
Add