Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. slc

slc

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов
Скачать

Символический исчисление Ламбды является логическим формализмом, основанным на исчислении ламбды и комбинативной логике, в которой есть только один вид объектов, которые могут представлять либо термины, либо четности. Он использует de Bruijn's и lambda исчисление нотаций.

история версии

  • Версия files размещено на 2010-05-13
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2010-05-13

Подробная информация о программе

Похожие программы

  • freeportfolio Бесплатный

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

  • FIGTree Бесплатный

    Библиотека для быстрых вычислений Гаусс преобразуется в несколько измерений, используя улучшенный быстрый Гаусс Преобразование и приблизительный поиск ближайшего соседа. Эта библиотека полезна для эффективной оценки плотности

  • GenomeDiff Бесплатный

    Сравните геномы вирусов визуально по доптлоту! Java-программа. Скачать вручную из pubmed! Используйте представление выравнивания! Сравните, например, Hiv-1 и Visna. Найдите p24 в пределах Hiv-1! Сравните тексты на естественно

  • AquaLog Бесплатный

    Онтология основана портативная система вопросов-ответов, которая принимает запросы, выраженные на естественном языке и онтологии, как входные и возвращает ответы, взятые из одной или несколько баз знаний (KBs)

  • hybrid model optimization/identification Бесплатный

    hybopt — это набор библиотек для решения идентификационных и оптимальных проблем управления гибридными (механистическими/эмпирическими) динамическими (ODE и DAE) моделями.

  • RmscopII Бесплатный

    RmscopII — это скрипт Tcl/Tk, отвечающий за перенаправление файлов структуры белка (PDB-файлов) или скриптов RasMol на несколько сеансов RasMol. Он может быть использован в качестве веб-браузера помощник приложения или в каче

  • Matrix Expression Templates Бесплатный

    MET — это библиотека матричного класса СЗ, которая занимается выражениемШаблоны. Этот метод устраняет копирование и временные темпы матричных объектов и может ускорить вычисления.

  • Standard Animal Behaviour Ontology Бесплатный

    SABO является верхним уровнем OWL онтология, описывающая область поведения животных. Авторы:

  • RooFit toolkit for data modelling Бесплатный

    Пакет RooFit предоставляет набор инструментов для моделирования ожидаемых численных распределений результатов научного эксперимента. Модели, созданные с помощью RooFit, могут быть использованы для установки,визуализации и М

  • Ebooka PDF Viewer Бесплатный

    Читатель книг и документов с поддержкой PDF и DjVu для комфортного чтения. Если вы ищете хорошего читателя PDF, остановитесь здесь, вы нашли его. Он делает то, что вы ожидаете от него. Вы можете легко сложить и прочитать PDF