 | Tatsache ++.A Beschreibung Logic-Reventier für mit Eule DL und Eule 2 |
| Jetzt downloaden | |
Tatsache ++. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- LGPL
- Name des Herausgebers:
- Dmitry Tsarkov
- Website des Verlags:
- http://code.google.com/u/113216336987078983266/
- Betriebssysteme:
- Mac OS X
- Dateigröße:
- 1.7 MB
Tatsache ++. Stichworte
Tatsache ++. Beschreibung
FACT ++ ist ein Frei- und Open-Source-DL-Mental, der Eule DL unterstützt und (teilweise) Eule 2.Fakt ++ ist in der C ++ - Sprache geschrieben und verwendet optimierte Tableaux-Algorithmen. Detaillierte Anweisungen zur Verwendung des Fakten ++ Dienstprogramms auf Ihrem Mac sind hier verfügbar.Fakt ++ ist plattformübergreifend und es funktioniert auf Mac OS X, Windows und Linux. Binärdateien für Windows- und Linux-Plattformen sind auf der Homepage des Projekts verfügbar.
Tatsache ++. Zugehörige Software
Active Support Kit.
Objektiv-C-Framework, das Rubin auf Rubin auf der aktiven Unterstützung der Rails nachahmt ...
66 KB
