Glossaris

Glossaris

Glossari Lògica / Terme

Algoritme d’unificació

Algoritme que permet calcular les substitucions que cal aplicar a dues fórmules per a fer-les idèntiques.

Enllaç permanent: Algoritme d’unificació - Data: 2013-06-15 09:06:40


Glossari Lògica | Àtom >