soggetto
Intelligenza artificiale (1361)Prova (868)
Matematica (1380)
Istruzione assistita dall'elaboratore (CAI) (585)
traduzione italiana
Intelligenza artificiale (24)Prova (24)
Matematica (18)
Istruzione assistita dall'elaboratore (CAI) (21)
molle
Molle è un prover della traversa-piattaforma per logica modale, che sfrutta il metodo semantico modale dei tableaux. Caratterizza un'interfaccia grafica molto utilizzabile, con la rappresentazione interattiva dei modelli generati. Molle è effettuato dai Di Milano di Politecnico.。
condizione
Beta
Pubblici progettati
Formazione Scienza/ricerca
Autorizzazione
Academic Free License (AFL)
OS
OS Independent
Linguaggio di programmazione
JAVA
soggetto
Istruzione assistita dall'elaboratore (CAI) Prova Intelligenza artificiale Matematica
Interfaccia di utente
Java Swing
programmatore
2
dal
2006-09-01 09:05
potete trasferire al seguente URL
http://sourceforge.net/projects/molle