| Wikipédia em português - A enciclop... |
Unificação
Unificação, em ciência da computação e na lógica, é um processo algorítmico de solução de equações entre expressões simbólicas.
| Veja mais na Wikipédia.org... |
© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike
