В. Н. Захаров ,   В. Н. Вагин ,   Л. Я. Розенблюм Известия АН СССР. Техническая кибернетика , 5 , 01.1987 , язык: русский  Аннотация Целью данной статьи является попытка применения аппарата теории сетей Петри к проблеме распараллеливания процедур дедуктивного вывода. Приведены описания основных механизмов вывода.  Ключевые слова Логический вывод, Сети Петри, Логика предикатов

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад