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.
இலக்கணம்
இன்னும் இலக்கண விவரங்கள் இல்லை.
சொற்றொடர்கள்
இந்த பதிவுடன் இன்னும் சொற்றொடர்கள் இணைக்கப்படவில்லை.