Molle.

Molle é um provador de plataformas transversais para a lógica modal, que explora o método de tableaux semântico modal
Baixe Agora

Molle. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • DEI, Politecnico di Milano
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 2.2 MB

Molle. Tag


Molle. Descrição

Molle é o avaliador de loony lógica modal. Molle é um provador de plataformas cruzadas escrito em Java


Molle. Software Relacionado

Sobre nós