Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. libLogic

libLogic

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

LibLogic é uma biblioteca de software para teorema automatizado que prova com a capacidade inigualável de provar correta e eficientemente todas as declarações comprovadas em qualquer teoria lógica de qualquer ordem, sem ajuda humana.

história da versão

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

Detalhes do programa

Programas Relacionados

  • CMS Utilities Livre

    cmsutils fornece programas que ajudam você a desenvolver, criar e traduzir cms (Postnuke, Xaraya, ...) módulos. Escrito em Delfos/Kylix

  • luabridge Livre

    Luabridge é uma biblioteca leve e livre de dependência para exportar funções e aulas C++para ambientes Lua. Ele usa metaprogramação de modelo C++ compatível com padrão e é escrito contra Lua 5.1.2.

  • svgconv Livre

    svgconv é uma ferramenta de conteúdo para converter caminhos SVG em um formato C que pode ser facilmente usado com OpenVG.

  • Mobile StrongBOX - Data Vault Avaliação gratuita

    O melhor aplicativo de proteção de dados, o Mobile StrongBOX foi projetado para o armazenamento seguro de informações privadas, como fotos ou vídeos, senhas, dados para contas bancárias, documentos e qualquer outra coisa qu

  • embedded Finite State Machine (eFSM) Livre

    A Instalação de Máquina de Estado Finito Incorporada (FSM) que pode ser usada para modelar e controlar um sistema reativo ou imponente. O sistema pode ser representado por qualquer número de estados. As transições estaduais s

  • Albert Livre

    Albert é um gerador médico para Common Lisp, comparável a Javadoc e Doxygen. Atualmente, gera documentação do DocBook. Ele lê uma definição do sistema ASDF e documenta o sistema.

  • SETILog for Unix Livre

    O SETILog salva algumas estatísticas de uma unidade de trabalho SETI@home concluída em um arquivo CSV de texto. Este arquivo é necessário pelo SETIWatch para acompanhar as unidades de trabalho concluídas.

  • HappyDoc Livre

    HappyDoc é uma ferramenta para extrair documentação do código fonte Python. Difere de outras aplicações desse tipo pelo fato de usar a árvore de análise para obter as informações e não importar o módulo.

  • OpenCL .Net Livre

    Este projeto tenta fazer duas coisas. Primeiro, ele fornece vinculações à API OpenCL que espelham a especificação OpenCL 1.1 o mais próximo possível. Em segundo lugar, fornece uma abstração de nível mais alto da API que é mai

  • PAPAS: Path Planning Algorithm Suite Livre

    PAPAS (Path Planning Algorithms Suite) é um conjunto de algoritmos destinados ao planejamento de caminhos. Tem algoritmos comuns como PRM, RRT, Wavefront Planner, etc. A implementação é feita em linguagem C e o código foi des