unifikál
C2
హంగేరియన్
unify
క్రియ
C2
TECHNICAL
1
unify
C2
వాడుక నమూనా:
unifikál két kifejezést / változót
ఇంకా ఉదాహరణ జంటలు లేవు.
అర్థం
make expressions logically consistent
విషయాలు
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
నిర్వచనం
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
వ్యాకరణం
ఇంకా వ్యాకరణ వివరాలు అందుబాటులో లేవు.
పదప్రయోగాలు
ఈ ఎంట్రీకి ఇంకా సంబంధిత పదప్రయోగాలు లేవు.