Lotrec.

permite testar estratégias lógicas e fórmulas.
Baixe Agora

Lotrec. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • LoTREC Team
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 19.8 MB

Lotrec. Tag


Lotrec. Descrição

A LotRec é um provador de Tableau Teorem projetado para os alunos e pesquisadores que lidam com implementações lógicas modais. Ele permite que você crie um teorema lógico criando um conjunto de conectores, regras e estratégias. Todos os itens serão usados para testar a fórmula lógica.


Lotrec. Software Relacionado

Sobre nós