.dsy:it. - [logica per applicazioni] problema con spasseditor

.dsy:it.
//www.dsy.it

[logica per applicazioni] problema con spasseditor

Posted by rik on 23-02-2007 08:49

ciao a tutti
sto provando a fare degli esercizi per prepararmi per l'appello di lunedi ma ho un problema .. utilizzato lo spass editor riesco a creare problemi inserendo assiomi bla, bla, bla.. ma se provo a aprire un dfg della libreria tptp mi carica solo le dichiarazioni delle funzioni ma non mi carica gli assiomi ne congettura?? perchpè? succede anche a voi? bisogna impostare qualcosa prima? .. spero che qulcuno possa darmi una mano