Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

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

Na tradição do programa de Hilbert criamos uma base de conhecimento matemático formal (checkável por um verificador de provas) mas legível (como um manual comum do LaTeX) que é livremente acessível dentro da internet. A lógica e a teoria dos cenários começaram.

história da versão

  • Versão 0.04.02 postado em 2011-05-01
  • Versão 0.04.11 postado em 2011-03-05
    Várias correções e atualizações

Detalhes do programa

Programas Relacionados

  • GET_IT - Game Engine Tutorial in TCL Grátis

    Este projeto foi encerrado há algum tempo. Se quiser pegar o nome do projeto, envie-me um e-mail.

  • SPINA Grátis

    SPINA é um software para determinar parâmetros de estrutura constantes de sistemas de controlo de feedback endócrino a partir dos níveis hormonais obtidos in vivo. A primeira versão desta abordagem cibernética permite evualua

  • Meshgen Grátis

    Meshgen é projetado para gerar interativamente malhas FEM 2D compostas por elementos triangulares e quadrilateral.

  • Vocabulary Builder for GRE SAT Julgamento Gratuito

    A Manhattan Review apresenta a primeira aplicação móvel na Índia. Pode aprender novas palavras que o ajudarão na preparação para GRE, SAT, TOEFL e IELTS. Também pode avaliar o seu conhecimento sobre as palavras e testar as

  • Carrying the Word Julgamento Gratuito

    Carrying the Word, publicado pela University Press of ColoradoCompre este ebook sem DRM hoje! Movido por Aldiko.O primeiro estudo completo dos bailarinos concheros, cujo uso da dança liga as práticas religiosas rurais

  • Moritz Grátis

    Moritz é um "addon" para o conhecido doxygen da ferramenta. Gera diagramas de funções e métodos nassi shneiderman numa fonte c/c++ como ficheiros html, que podem ser incluídos num software-dokumentaion ou simples wh

  • Birdlogger Grátis

    Um programa de exploração de aves para ajudar ornitólogos e observadores de aves na exploração de aves. Em Visual Basic, para Windows e Linux. Inglês e francês.

  • Bowtie Grátis

    Bowtie, um alinhador de leitura curta ultrarápida e eficiente em memória para sequências curtas de ADN (leituras) de seqüências de próxima geração. Por favor, cite: Langmead B, et al. Alinhamento ultrarápido e eficiente da me

  • LaserFoam Grátis

    LaserFoam executa simulações de pulsos laser usando um método de etapa de divisão adaptativa Fourier para resolver a equação não linear generalizada de Schrdinger. Proporciona um ambiente gráfico para executar e visualizar os

  • Daylight Chart Grátis

    Daylight Chart mostra os horários do nascer e do pôr-do-sol num gráfico atraente, para qualquer localização do mundo. O efeito do horário de verão também é exibido. Os gráficos podem ser exportados para ficheiros de imagem.