Melle MOLLE is een verknopingsprover voor modale logica.
Download nu

Melle Rangschikking & Samenvatting

Melle Tags

interactief vertegenwoordiging interactieve vertegenwoordiging gegenereerde modellen modale logica Melle

Melle Beschrijving

MOLLE is een cross-platformen-bewering voor modale logica. MOLLE is een cross-platformen-bewering voor modale logica. Het exploiteert de modale semantische tableaux-methode. MOLLE-project heeft een zeer bruikbare grafische interface, met een interactieve weergave van gegenereerde modellen. REQUIRINGEN: · Java 1.5Wat is nieuw in deze release: · Deze release kan formules van Propositional Modal Logic bewijzen, visualiseer een proefpersonen en resolutie-stappen en visualiseer de modellen Voor voorbeelden en contribunes.

Melle Gerelateerde software