Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. slc

slc

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

Symboliczny Rachunek Lambda jest logicznym formalizmem opartym na rachunku lambda i logice kombinacyjnej, w którym istnieje tylko jeden rodzaj obiektów, które mogą reprezentować albo terminy, albo równość. Używa de Bruijn's i lambda rachunku notacji.

historia wersji

  • Wersja files opublikowany na 2010-05-13
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2010-05-13

Szczegóły programu

Programy pokrewne

  • freeportfolio Wolna

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

  • FIGTree Wolna

    Biblioteka do szybkiego obliczania Gaussa przekształca się w wielu wymiarach, korzystając z ulepszonego szybkiego przekształcania Gaussa i przybliżonego wyszukiwania najbliższego sąsiada. Ta biblioteka jest przydatna do efekt

  • GenomeDiff Wolna

    Porównaj genomy wirusów wizualnie przez dotplot! program Java. Pobierz ręcznie z pubmed! Użyj widoku wyrównania! Porównaj, na przykład, Hiv-1 i Visna. Znajdź p24 w Hiv-1! Porównaj teksty w języku naturalnym! Eksportuj diagram

  • AquaLog Wolna

    Ontologii oparte przenośny system odpowiedzi na pytania, który przyjmuje zapytania wyrażone w języku naturalnym i ontologii jako dane wejściowe i zwraca odpowiedzi zaczerpnięte z jednej lub więcej baz wiedzy (KB)

  • hybrid model optimization/identification Wolna

    hybopt to zestaw bibliotek do rozwiązywania problemów identyfikacyjnych i optymalnych problemów z kontrolą dla modeli hybrydowych (mechanistycznych/empirycznych) dynamicznych (ODE i DAE).

  • RmscopII Wolna

    RmscopII to skrypt Tcl/Tk odpowiedzialny za przekierowanie plików struktury białek (pliki PDB) lub skryptów RasMol do wielu sesji RasMol. Może być używany jako aplikacja pomocnika przeglądarki internetowej lub jako samodzieln

  • Matrix Expression Templates Wolna

    MET to biblioteka klas macierzy C++ zajmująca się wyrażeniemSzablony. Ta technika eliminuje kopiowanie i tymczasowe tworzenie obiektów macierzy i może przyspieszyć obliczenia.

  • Standard Animal Behaviour Ontology Wolna

    SABO to najwyższej klasy ontologia OWL opisująca dziedzinę zachowania zwierząt. Autorów:

  • RooFit toolkit for data modelling Wolna

    Pakiet RooFit zawiera zestaw narzędzi do modelowania oczekiwanych liczbowych dystrybucji wyników eksperymentu naukowego. Modele stworzone z RooFit mogą być używane do montażu,wizualizacji i badań w Monte Carlo.

  • Ebooka PDF Viewer Wolna

    Czytnik książek i dokumentów z obsługą plików PDF i DjVu dla wygodnego czytania. Jeśli szukasz dobrego czytnika PDF, zatrzymaj się tutaj, znalazłeś go. Robi to, czego oczekujesz. Możesz łatwo ustanowić i czytać książki pdf i