bn:03343012n
Noun Concept
Categories: Teoría de tipos, Programación lógica
ES
unificación
ES
En lógica y en ciencias de la computación, la unificación es un proceso algorítmico para resolución de ecuaciones con expresiones simbólicas. Wikipedia
Spanish:
ciencias de la computación
informática
Definitions
Sources
ES
En lógica y en ciencias de la computación, la unificación es un proceso algorítmico para resolución de ecuaciones con expresiones simbólicas. Wikipedia
Proceso algorítmico para resolución de ecuaciones con expresiones simbólicas Wikidata
Wikidata
Wikipedia Redirections
Wikipedia Translations