 | |
Il progetto dsy.it รจ l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
opzioni di SPASS!
Clicca QUI per vedere il messaggio nel forum |
| desrob |
| ..esiste qualke buon uomo che potrebbe riassumere qui le principali opzioni di Spass che interessano al prof? |
| Logan12584 |
quelle che interessano al prof non le so ma ti posso dire che queste sono quelle che uso io:
-DocProof -Splits=0 -Sorts=0 -CNFRenaming=0 -Ordering=0 -ISoR=0 -ISRe=1 -Select=1 -RObv=1 -RFMRR=1 -RBMRR=1 -RCon=1 -ISpL=1 -ISpR=1 -IORe=1 -PDer=1 -PTaut=1 -PRew=0 -PSub=1 -PMRR=1 -PObv=1 -PCon=1 -PGiven=1 -PKept=1 -PEmptyClause=1 |
|
|
|
|
