Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. slc

slc

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen
Herunterladen

Symbolisches Lambda-Kalkül ist ein logischer Formalismus, der auf Lambda-Kalkül und kombinatorischelogik basiert, in dem es nur eine Art von Objekten gibt, die entweder Begriffe oder Gleichheiten darstellen können. Es verwendet de Bruijns und Lambda-Calculus-Notationen.

VERSIONSVERLAUF

  • Version files veröffentlicht auf 2010-05-13
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2010-05-13

Programmdetails

Verwandte Programme

  • freeportfolio kostenlos

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

  • FIGTree kostenlos

    Eine Bibliothek zur schnellen Berechnung von Gauß transformationen in mehreren Dimensionen, mit der Gesuchten "Verbesserte schnelle Gaußtransformation" und "Ungefährnächster Nachbar". Diese Bibliothek ist nützlich für die eff

  • GenomeDiff kostenlos

    Vergleichen Sie Virusgenome visuell durch dotplot! Java-Programm. Laden Sie manuell von pubmed! Verwenden Sie die Ausrichtungsansicht! Vergleichen Sie z. B. Hiv-1 & Visna. Finden Sie p24 in Hiv-1! Vergleichen Sie Texte in

  • AquaLog kostenlos

    Ein ontologiebasiertes portables Fragebeantwortungssystem, das Abfragen, die in natürlicher Sprache und einer Ontologie ausgedrückt werden, als Eingabe nimmt und Antworten aus einer oder mehreren Wissensdatenbanken (KBs) zurü

  • hybrid model optimization/identification kostenlos

    hybopt ist eine Reihe von Bibliotheken, um die Identifikations- und optimalen Steuerungsprobleme für hybride (mechanistische/empirische) dynamische (ODE- und DAE)-Modelle zu lösen.

  • RmscopII kostenlos

    RmscopII ist ein Tcl/Tk-Skript, das für die Umleitung von Proteinstrukturdateien (PDB-Dateien) oder RasMol-Skripten auf mehrere RasMol-Sitzungen verantwortlich ist. Es kann als Web-Browser-Hilfsanwendung oder als eigenständig

  • Matrix Expression Templates kostenlos

    MET ist eine C++-Matrixklassenbibliothek, die sich mit AusdruckVorlagen. Diese Technik eliminiert das Kopieren und Temporäre von Matrixobjekten und kann die Berechnungen beschleunigen.

  • Standard Animal Behaviour Ontology kostenlos

    SABO ist eine OWL-Ontologie auf höchster Ebene, die den Bereich des Verhaltens von Tieren beschreibt. Autoren:

  • RooFit toolkit for data modelling kostenlos

    Das RooFit-Paket bietet ein Toolkit zur Modellierung der erwarteten numerischen Verteilungen der Ergebnisse eines wissenschaftlichen Experiments. Modelle, die mit RooFit erstellt wurden, können fürVisualisierung und Monte-C

  • Ebooka PDF Viewer kostenlos

    Buch- und Dokumentleser mit PDF- und DjVu-Unterstützung für komfortables Lesen. Wenn Sie auf der Suche nach einem guten PDF-Reader sind, stoppen Sie hier, Sie haben es gefunden. Es tut, was Sie erwarten, zu tun. Mit dieser Ap