Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. slc

slc

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

O Cálculo de Lambda simbólico é um formalismo lógico baseado no cálculo lambda e na lógica combinatória, no qual há apenas um tipo de objeto, que pode representar termos ou igualdades. Ele usa as notações de cálculo de Bruijn e lambda.

história da versão

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

Detalhes do programa

Programas Relacionados

  • freeportfolio Livre

    Outil web (php/mysql) d'valuation initialement dvelopp l'ENFA (www.enfa.fr/portfolio ).

  • FIGTree Livre

    Uma biblioteca para computação rápida de Gauss se transforma em múltiplas dimensões, usando a pesquisa Descamada Rápida e Vizinha aproximada melhorada. Esta biblioteca é útil para uma estimativa eficiente de densidade de kern

  • GenomeDiff Livre

    Compare genomas de vírus visualmente por dotplot! Programa Java. Baixe manualmente de pubmed! Use a visão de alinhamento! Compare, por exemplo, Hiv-1 e Visna. Localize p24 dentro do Hiv-1! Compare textos de linguagem natural!

  • AquaLog Livre

    Um sistema portátil de resposta a perguntas baseado em ontologia que leva consultas expressas em linguagem natural e uma ontologia como entrada e retorna respostas extraídas de uma ou mais bases de conhecimento (KBs)

  • hybrid model optimization/identification Livre

    hybopt é um conjunto de bibliotecas para resolver os problemas de identificação e controle ideais para modelos híbridos (mecanicistas/empíricos) dinâmicos (ODE e DAE).

  • RmscopII Livre

    RmscopII é um script Tcl/Tk responsável por redirecionar arquivos de estrutura de proteínas (arquivos PDB) ou scripts RasMol para várias sessões rasMol. Ele pode ser usado como um aplicativo de ajuda do navegador da Web ou co

  • Matrix Expression Templates Livre

    MET é uma biblioteca de classe matriz C++ que trata da expressãoModelos. Esta técnica elimina a cópia e os temporários dos objetos matriciais e pode acelerar os cálculos.

  • Standard Animal Behaviour Ontology Livre

    SABO é uma ontologia owl de alto nível descrevendo o domínio do comportamento animal. Autores:

  • RooFit toolkit for data modelling Livre

    O pacote RooFit fornece um kit de ferramentas para modelar as distribuições numéricas esperadas dos resultados de um experimento científico. Modelos criados com RooFit podem ser usados para montagem,visualização, e estudos

  • Ebooka PDF Viewer Livre

    Leitor de livros e documentos com suporte a PDF e DjVu para leitura confortável. Se você está procurando um bom leitor de PDF, pare aqui, você encontrou. Ele faz o que você espera que ele faça. Você pode facilmente estabelece