Lotrec. Ermöglicht das Testen von logischen Strategien und -formeln.
Jetzt downloaden

Lotrec. Ranking & Zusammenfassung

Lotrec. Stichworte

Logik Satz

Lotrec. Beschreibung

Lotrec ist ein Tableau-Theorem-Besprecher, der für Studierende und Forscher entworfen wurde, die sich mit modalen Logik-Implementierungen befassen. Sie können einen Logic-Satz erstellen, indem Sie einen Satz von Anschlüssen, Regeln und Strategien erstellen. Alle Artikel werden verwendet, um die logische Formel zu testen.

Lotrec. Zugehörige Software