subindo

ferramenta Java para construir provas de dedução natural
Baixe Agora

subindo Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Niklas Udd
  • Site do editor:
  • http://uprove.udd.be
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 53 KB

subindo Tag


subindo Descrição

Aprovação é uma ferramenta fácil de usar que permite criar provas de dedução naturais na lógica proposicional.Você precisa clicar nas linhas que deseja aplicar como uma regra e, em seguida, escolha a regra desejada. Aprova é escrita na linguagem de programação Java e Pode ser executado no Mac OS X, Windows e Linux.


subindo Software Relacionado

Sobre nós