 | Lotrec.Prove Theorem Tableau para a lógica modal |
| Baixe Agora | |
Lotrec. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Nome do editor:
- Bilal Said
- Site do editor:
- http://www.irit.fr/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 1 KB
Lotrec. Tag
Lotrec. Descrição
A LotRec é uma aplicação fácil de usar, útil que pode ser usada como um provador genérico do Tableau Teorem para lógica modal.it pode ser usado para analisar, testar e criar novas implementações de método de tableau. A LotREC é escrita na linguagem de programação Java e pode ser executada no Mac OS X, Windows e Linux.
Lotrec. Software Relacionado
