Common Lisp (programming language) software

Вики

ACL2

/

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной […]

Вики

Цик

/

Цикл Обзор проекта Cyc Cyc — это система искусственного интеллекта, разработанная для создания базы знаний, основанной на здравом смысле.  Проект

Вики

Среда инженерии знаний

/

Среда разработки знаний Обзор среды инженерии знаний (KEE) KEE — инструмент для разработки экспертных систем, основанный на фреймворках.  Разработан и

Вики

ACL2

/

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной

Вики

Программное обеспечение ITA

/

Программное обеспечение ITA История и развитие ITA Software ITA Software — подразделение Google, ранее независимая компания, специализирующаяся на туризме.  Основана

Вики

Максима

/

Максима История Macsyma Macsyma была разработана в MIT в 1966 году для символьной математики.  В 1976 году она была приобретена

Вики

FriCAS

/

Фрикадельки Обзор FriCAS FriCAS — универсальная система компьютерной алгебры для математических исследований и разработки алгоритмов.  Включает интерпретатор, компилятор и расширяемую

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

ACT-R

/

АКТ-R ACT-R — когнитивная модель, разработанная Джоном Р. Андерсоном для моделирования человеческого познания.  Модель основана на теории действий и включает

Прокрутить вверх