Invia software
  1. Casa
  2. Linux
  3. Altro
  4. slc

slc

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

Il calcolo simbolico di Lambda è un formalismo logico basato sul calcolo lambda e sulla logica combinatoria, in cui esiste un solo tipo di oggetto, che può rappresentare termini o qualità. Usa le notazioni di calcolo di de Bruijn e lambda.

cronologia delle versioni

  • Versione files pubblicato il 2010-05-13
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-05-13

Dettagli del programma

Programmi correlati

  • freeportfolio Gratuito

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

  • FIGTree Gratuito

    Libreria per il calcolo rapido delle trasformazioni di Gauss in più dimensioni, utilizzando la trasformata di Gauss veloce migliorata e la ricerca del vicino più vicino approssimativo. Questa libreria è utile per un'efficient

  • GenomeDiff Gratuito

    Confronta visivamente i genomi dei virus con dotplot! Programma Java. Scarica manualmente da pubmed! Usa la vista di allineamento! Confronta, ad esempio, Hiv-1 e Visna. Individuare p24 all'interno di Hiv-1! Confronta testi in

  • AquaLog Gratuito

    Un sistema portatile di risposta alle domande basato sull'ontologia che accetta le domande espresse in linguaggio naturale e un'ontologia come input e restituisce risposte tratte da una o più basi di conoscenza (KB)

  • hybrid model optimization/identification Gratuito

    hybopt è un insieme di librerie per risolvere i problemi di identificazione e controllo ottimali per i modelli ibridi (meccanicistici/empirici) dinamici (ODE e DAE).

  • RmscopII Gratuito

    RmscopII è uno script Tcl/Tk responsabile del reindirizzamento dei file di struttura proteica (file PDB) o script RasMol a più sessioni RasMol. Può essere utilizzato come applicazione di supporto del browser Web o come progra

  • Matrix Expression Templates Gratuito

    MET è una libreria di classi matrice C++ che si occupa di espressioneModelli. Questa tecnica elimina la copia e i tempiraries degli oggetti matrice e può accelerare i calcoli.

  • Standard Animal Behaviour Ontology Gratuito

    Sabo è un'ontologia OWL di alto livello che descrive il dominio del comportamento animale. Autori:

  • RooFit toolkit for data modelling Gratuito

    Il pacchetto RooFit fornisce un toolkit per modellare le distribuzioni numeriche previste dei risultati di un esperimento scientifico. I modelli creati con RooFit possono essere utilizzati per il montaggio,visualizzazione e

  • Ebooka PDF Viewer Gratuito

    Lettore di libri e documenti con supporto PDF e DjVu per una lettura confortevole. Se stai cercando un buon lettore PDF, fermati qui, l'hai trovato. Fa quello che ti aspetti che faccia. Puoi facilmente sdraiarti e leggere lib