Программное обеспечение Common Lisp (язык программирования)

Вики

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 – универсальная система компьютерной алгебры для математических исследований и разработки алгоритмов.  Включает интерпретатор, компилятор и расширяемую