[LOGICA MATEMATICA] Skolemizzazione
Posted by DarkStalker on 03-06-2007 20:54
Ciao a tutti,
volevo giusto sapere se la skolemizzazione la chiede ancora.
Studiando le dispense del prof nn trovo nulla ne su skolemizzazione ne su unificazione (forse riguarda il prolog?)
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited