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

UNB Theorem Prover?

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎3 ‎votos
Baixar

Prover de Teorema automatizado 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 Grátis

    FastAOP é uma estrutura AOP muito alta (Programação Orientada para aspetos) para java. O quadro foi inicialmente desenvolvido para apoiar perfis de desempenho e monitorização para grandes aplicações J2EE sem quase nenhum te

  • Butterfly Code Generator Grátis

    Butterfly é um gerador de código simples que usa xMI como os modelos de entrada e XSLT para gerar qualquer tipo de código. Vários modelos são fornecidos, incluindo EJB, JDO e Struts. Os utilizadores podem usar os modelos, mo

  • Neural network designer Grátis

    Este projeto é composto por uma aplicação de design baseada em janelas e uma biblioteca (que pode funcionar em várias plataformas, incluindo android) juntamente com várias aplicações de demonstração (incluindo um cliente de c

  • DL-Learner Grátis

    DL-Learner é uma ferramenta para aprender conceitos em Description Logics (DLs) a partir de exemplos fornecidos pelo utilizador. Equivalentemente, pode ser usado para aprender aulas em ontologias OWL a partir de objetos selec

  • MakeEmbeddedRootfilesystem Grátis

    As makerootfs facilitam a construção de um sistema de ficheiros de raiz para dispositivos incorporados (por exemplo, baseados em ARM) automatizando o processo de compilação cruzada através de scripts de conchas, patches e con

  • VCS Agents and Tools Grátis

    O objetivo deste projeto é fornecer plugins ("agents") para o Servidor de Cluster Veritas numa base Open Source.

  • Etnia Workbench Grátis

    Extensões ao projeto CDT wich configurar compiladores extra e outros plugins para tornar integrar vários plattformes (na verdade Texas Instrument & PIC microprocessadores)

  • Steini\'s Mini Compiler Grátis

    O Mini Compilador steini's é um compilador rápido DOS 16 bits. Por favor, ajude a melhorar a linguagem de programação escrevendo novos comandos. O compilador utiliza um conjunto de ficheiros de montagem para o processo de com

  • JCustomizer Grátis

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

  • net.sourceforge.ajstruts Grátis

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