Решение проблем Стэнфордского исследовательского института
Специалист по решению проблем Стэнфордского исследовательского института Определение STRIPS STRIPS — это автоматизированный планировщик, разработанный в 1971 году. Язык STRIPS […]
Вики
Программное обеспечение SRI International
Вики
НЛС (компьютерная система)
NLS (компьютерная система) История и развитие NLS NLS (NLS for Networked Large Systems) — система для коллективной работы с информацией,
Вики
ДЕРЕВО-МЕТА
ДЕРЕВО-МЕТА Обзор системы TREE-META TREE-META — система компиляции для контекстно-свободных языков, разработанная в 1960-х. Операторы синтаксического анализа напоминают расширенную форму
Вики
Абстрактная машина Уоррена
Абстрактная машина Уоррена Разработка абстрактной машины Уоррена (WAM) В 1983 году Дэвид Х. Уоррен создал WAM для выполнения Prolog. WAM
Вики
Система проверки прототипа
Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на