Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. slc

slc

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

Symbolische Lambda Calculus is een logisch formalisme gebaseerd op lambda calculus en combinatorische logica, waarin er slechts één soort objecten is, die termen of equalities kunnen vertegenwoordigen. Het maakt gebruik van de bruijn en lambda calculus notaties.

versiegeschiedenis

  • Versie files geplaatst op 2010-05-13
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2010-05-13

Programmadetails

Gerelateerde programma's

  • freeportfolio Gratis

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

  • FIGTree Gratis

    Een bibliotheek voor snelle berekening van Gauss transformeert in meerdere dimensies, met behulp van de verbeterde snelle Gauss Transform en Benaderende dichtstbijzijnde buren zoeken. Deze bibliotheek is handig voor een effic

  • GenomeDiff Gratis

    Vergelijk virus genomen visueel door dotplot! Java-programma. Download handmatig uit pubmed! Gebruik uitlijnweergave! Vergelijk bijvoorbeeld Hiv-1 & Visna. Zoek p24 in Hiv-1! Vergelijk natuurlijke taalteksten! Diagram exp

  • AquaLog Gratis

    Een op ontologie gebaseerd draagbaar vraagantwoordsysteem dat vragen in natuurlijke taal en een ontologie als input en retourneert antwoorden die uit één of meer kennisbanken (KBs) worden getrokken

  • hybrid model optimization/identification Gratis

    hybopt is een set bibliotheken om de identificatie- en optimale controleproblemen voor hybride (mechanistische/empirische) dynamische (ODE- en DAE)-modellen op te lossen.

  • RmscopII Gratis

    RmscopII is een Tcl/Tk script dat verantwoordelijk is voor het omleiden van eiwitstructuurbestanden (PDB-bestanden) of RasMol-scripts naar meerdere RasMol-sessies. Het kan worden gebruikt als een webbrowser helper applicatie

  • Matrix Expression Templates Gratis

    MET is een C++ matrixklassebibliotheek die zich bezighoudt met expressieSjablonen. Deze techniek elimineert het kopiëren en temporariiëren van matrixobjecten en kan de berekeningen versnellen.

  • Standard Animal Behaviour Ontology Gratis

    SABO is een uilenoptologie op het hoogste niveau die het domein van dierlijk gedrag beschrijft. Auteurs:

  • RooFit toolkit for data modelling Gratis

    Het RooFit-pakket biedt een toolkit voor het modelleren van de verwachte numerieke verdeling van de resultaten van een wetenschappelijk experiment. Modellen gemaakt met RooFit kunnen worden gebruikt voor montage,visualisati

  • Ebooka PDF Viewer Gratis

    Boek- en documentlezer met PDF- en DjVu-ondersteuning voor comfortabel lezen. Als u op zoek bent naar een goede PDF-lezer, stop hier, je hebt het gevonden. Het doet wat je verwacht dat het doet. U eenvoudig leggen en lezen pd