Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. slc

slc

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Symbolique Lambda Calculus est un formalisme logique basé sur le calcul lambda et la logique combinatoire, dans lequel il n’y a qu’un seul type d’objets, qui peuvent représenter soit des termes ou des égalités. Il utilise les notations de calcul de Bruijn et lambda.

historique de la version

  • Version files posté sur 2010-05-13
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-05-13

Détails du programme

Programmes connexes

  • freeportfolio Gratuit

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

  • FIGTree Gratuit

    Une bibliothèque pour le calcul rapide de Gauss se transforme en plusieurs dimensions, en utilisant l’amélioration rapide Gauss Transformer et approximative voisin le plus proche recherche. Cette bibliothèque est utile pour l

  • GenomeDiff Gratuit

    Comparez visuellement les génomes des virus par dotplot! programme Java. Télécharger manuellement à partir de pubmed! Utilisez la vue d’alignement! Comparez, par exemple, Hiv-1 & Visna. Situez p24 dans Hiv-1! Comparez les

  • AquaLog Gratuit

    Un système portatif de réponse aux questions basé sur l’ontologie qui prend les requêtes exprimées dans le langage naturel et une ontologie comme entrée et renvoie les réponses tirées d’une ou plusieurs bases de connaissances

  • hybrid model optimization/identification Gratuit

    hybopt est un ensemble de bibliothèques pour résoudre les problèmes d’identification et de contrôle optimaux pour les modèles hybrides (mécanistes/empiriques) dynamiques (ODE et DAE).

  • RmscopII Gratuit

    RmscopII est un script Tcl/Tk chargé de rediriger les fichiers de structure protéique (fichiers PDB) ou rasmol vers plusieurs sessions RasMol. Il peut être utilisé comme une application d’aide au navigateur Web ou comme un pr

  • Matrix Expression Templates Gratuit

    MET est une bibliothèque de classe matricielle C++ traitant de l’expressionModèles. Cette technique élimine la copie et les temporaires des objets matriciels et peut accélérer les calculs.

  • Standard Animal Behaviour Ontology Gratuit

    SABO est une ontologie hibou de haut niveau décrivant le domaine du comportement animal. Auteurs:

  • RooFit toolkit for data modelling Gratuit

    Le package RooFit fournit une boîte à outils pour modéliser les distributions numériques attendues des résultats d’une expérience scientifique. Les modèles créés avec RooFit peuvent être utilisés pourvisualisation, et les é

  • Ebooka PDF Viewer Gratuit

    Lecteur de livres et de documents avec prise en charge PDF et DjVu pour une lecture confortable. Si vous êtes à la recherche d’un bon lecteur PDF, arrêtez-vous ici, vous l’avez trouvé. Il fait ce que vous attendez qu’il fasse