Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. UNB Theorem Prover?

UNB Theorem Prover?

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎3 ‎Votos
Download

Teorema automatizado Prover implementado em Java e usando árvores de cláusula. Este software será capaz de ler teoremas matemáticos da TPTP e prová-los ou refutá-los.

história da versão

  • Versão N/A postado em 2011-08-05
    Várias correções e atualizações
  • Versão N/A postado em 2011-08-05

Detalhes do programa

Programas Relacionados

  • fastAOP Livre

    FastAOP é uma estrutura AOP (Aspect Oriented Programming) de alto desempenho para java. O quadro foi inicialmente desenvolvido para apoiar o perfil de desempenho e o monitoramento de grandes aplicações J2EE com quase nenhum

  • Butterfly Code Generator Livre

    Butterfly é um simples gerador de código usando XMI como a entrada e modelos XSLT para gerar qualquer tipo de código. Vários modelos são fornecidos, incluindo EJB, JDO e Struts. Os usuários podem usar os modelos, modificá-lo

  • Neural network designer Livre

    Este projeto consiste em um aplicativo de designer baseado em windows e uma biblioteca (que pode ser executada em várias plataformas, incluindo android) juntamente com vários aplicativos de demonstração (incluindo um cliente

  • DL-Learner Livre

    O DL-Learner é uma ferramenta para aprender conceitos em DLs (Description Logics, lógicas de descrição) a partir de exemplos fornecidos pelo usuário. Equivalentemente, ele pode ser usado para aprender aulas em ontologies OWL

  • MakeEmbeddedRootfilesystem Livre

    O Makerootfs facilita a construção de um sistema de arquivos raiz para dispositivos incorporados (por exemplo, baseado em ARM) automatizando o processo de compilação cruzada através de scripts de shell, patches e configuraçõe

  • VCS Agents and Tools Livre

    O objetivo deste projeto é fornecer plugins ("agents") para o Veritas Cluster Server em uma base de Código Aberto.

  • Etnia Workbench Livre

    Extensões ao projeto CDT que configuram compiladores extras e outros plugins para fazer integrar vários plattform (na verdade, texas instrument & pic microprocessadores)

  • Steini\'s Mini Compiler Livre

    O Mini Compilador Steini é um compilador rápido dos 16 bits. Por favor, ajude a melhorar a linguagem de programação escrevendo novos comandos. O compilador usa um conjunto de arquivos de montagem para o processo de compilação

  • JCustomizer Livre

    O alvo do projeto JCustomizer é a personalização genérica e persistente de cada Gui Java Swing/AWT no tempo de execução: fontes, cores, textos, aceleradores, ... Um bom acompanhamento é um acesso wysiwyg à internacionalização

  • net.sourceforge.ajstruts Livre

    Código fonte de um artigo (http://ajstruts.sf.net) publicado em 11/2003 na revista alemã "Java Magazin" mostra como adaptar libs de terceiros (por exemplo, struts) para projetar necessidades e facilitar a migração p