unifikáció
C2
הונגרית
unification
שם עצם
C2
TECHNICAL
1
unification
C2
עדיין אין צמדי משפטי דוגמה.
משמעות
matching expressions via substitutions
נושאים
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
הגדרה
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
דקדוק
עדיין אין מידע דקדוקי זמין.
ביטויים
עדיין אין ביטויים מקושרים לערך הזה.