unifikál
C2
Węgierski
unify
CZASOWNIK
C2
TECHNICAL
1
unify
C2
Schemat użycia:
unifikál két kifejezést / változót
Brak par przykładów.
Znaczenie
make expressions logically consistent
Tematy
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definicja
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Gramatyka
Brak informacji gramatycznych.
Wyrażenia
Brak jeszcze powiązanych wyrażeń dla tego hasła.