23/01/13 1:15
Speak
Ciao a tutti, mi servirebbe una mano su un programmino da scrivere in lisp che converte formule ben formate (fbf) in forma congiunta cioè cnf. Sono bloccato in alcuni punti del programma nessuno per caso ha già dovuto fare un programma simile?
aaa
31/01/13 16:04
ocram
Ciao, anch'io sono alle prese con il tuo stesso progetto, e ho dei problemi.
Tu come sei messo?
aaa
