Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. slc
  5. Download

slc

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

Sobre slc

O Cálculo Simbólico lambda é um formalismo lógico baseado no cálculo lambda e na lógica combinatória, em que existe apenas um tipo de objetos, que podem representar termos ou igualdades. Usa notações de cálculo de Bruijn e lambda.

Programas Relacionados

  • freeportfolio Grátis

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

  • FIGTree Grátis

    Uma biblioteca para uma computação rápida de Gauss transforma-se em múltiplas dimensões, usando a busca melhorada de Gauss Fast Gauss e a busca aproximada do vizinho mais próximo. Esta biblioteca é útil para uma estimativa ef

  • GenomeDiff Grátis

    Compare os genomas do vírus visualmente por ponto! Programa Java. Descarregue manualmente a partir de pubmed! Use a vista de alinhamento! Compare, por exemplo, Hiv-1 e Visna. Localize o P24 dentro do Hiv-1! Compare textos de

  • AquaLog Grátis

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

  • hybrid model optimization/identification Grátis

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

  • RmscopII Grátis

    RmscopII é um script Tcl/Tk responsável por redirecionar ficheiros de estrutura proteica (ficheiros PDB) ou scripts RasMol para várias sessões rasmol. Pode ser usado como uma aplicação de ajudante de navegador web ou como um

  • Matrix Expression Templates Grátis

    MET é uma biblioteca de classes de matriz C++ que trata da expressãomodelos. Esta técnica elimina a cópia e os temporariamentes dos objetos matrices e pode acelerar os cálculos.

  • Standard Animal Behaviour Ontology Grátis

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

  • RooFit toolkit for data modelling Grátis

    O pacote RooFit fornece um conjunto de ferramentas para modelar as distribuições numéricas esperadas dos resultados de uma experiência científica. Os modelos criados com RooFit podem ser usados para montagem,visualização, e

  • Ebooka PDF Viewer Grátis

    Livro e Leitor de Documentos com suporte PDF e DjVu para uma leitura confortável. Se procura um bom leitor de PDF, pare aqui, encontrou-o. Faz o que se espera que faça. Você pode facilmente deitar e ler livros e documentos pd