Ecalc
ECALC ist ein Taschenrechner-Plug-In für Eclipse, das die Möglichkeit bietet, mathematische Ausdrücke zu bewerten. ...
 | MolleMOLLE ist ein plattformübergreifender Besprecher für modale Logik. |
| Jetzt downloaden | |
Molle Ranking & Zusammenfassung
Anzeige
- Lizenz:
- Academic Free License
- Preis:
- FREE
- Name des Herausgebers:
- Politecnico di Milano
- Website des Verlags:
Molle Stichworte
Molle Beschreibung
MOLLE ist ein plattformübergreifender Besprecher für modale Logik. MOLLE ist ein plattformübergreifender Besprecher für modale Logik. Es nutzt das modale semantische Tableaux-Verfahren aus. MOLLE-Projekt verfügt über eine sehr nutzbare grafische Schnittstelle mit einer interaktiven Darstellung von generierten Modellen Beispiele und Gegenexampeln.
Molle Zugehörige Software
Ein praktischer Lambda-Rechner
Ein praktischer Lambda-Rechner ist ein Lambda-Rechner mit komfortablen Befehlen und Verknüpfungen. ...
Ctioga.
Ein leistungsstarkes Befehlszeilen-Plotungssystem, um die Grafiken der Publikationqualität schnell zu erstellen. ...