Lotrec

Vous permet de tester des stratégies et des formules logiques.
Télécharger maintenant

Lotrec Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Nom de l'éditeur:
  • LoTREC Team
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 19.8 MB

Lotrec Mots clés


Lotrec La description

LotraC est un profilé de Tableau théorème conçu pour les étudiants et les chercheurs qui traitent des implémentations logiques modales. Il vous permet de créer un théorème logique en créant un ensemble de connecteurs, de règles et de stratégies. Tous les articles seront utilisés afin de tester la formule logique.


Lotrec Logiciels associés

À propos de nous