 | Molle.MOLLE è un Prover Platform per la logica modale. |
| Scarica ora | |
Molle. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- Academic Free License
- Prezzo:
- FREE
- Nome editore:
- Politecnico di Milano
- Sito web dell'editore:
Molle. Tag
Molle. Descrizione
MOLLE è un prover a piattaforma a piattaforma per la logica modale. MOLLE è un prover a piattaforma a piattaforma per la logica modale. Sfrutta il metodo Modal Semantic Tableaux. Il progetto MOLLE è dotato di un'interfaccia grafica molto utilizzabile, con una rappresentazione interattiva di modelli generati.requirementi: · Java 1.5What è nuovo in questa versione: · Questa versione può rivelarsi formule di logica modale proposizionale, visualizzare una prova di tableaux e risoluzione e visualizzare i modelli per esempi e controexamples.
Molle. Software correlato
Blossoc.
Blossoc è uno strumento di mappatura dell'Associazione dello squilibrio del collegamento che tenta di costruire genealogie (perfette). ...
Generecon
GENERENCON è un pacchetto software per la mappatura dello squilibrio del collegamento utilizzando la teoria coalescente. ...
Simulatore sinaptico
Synaptic Simulator è un software che simula modelli di singoli sinapsi e scomparti neuronali. ...