Поиск :
Личный кабинет :
Электронный каталог: Нигиян, С. А. - Метод резолюций для логики предикатов первого порядка с интерпретированными предикатами
Нигиян, С. А. - Метод резолюций для логики предикатов первого порядка с интерпретированными предикатами
Статья
Автор: Нигиян, С. А.
Доклады Академии наук: Метод резолюций для логики предикатов первого порядка с интерпретированными предикатами
б.г.
ISBN отсутствует
Автор: Нигиян, С. А.
Доклады Академии наук: Метод резолюций для логики предикатов первого порядка с интерпретированными предикатами
б.г.
ISBN отсутствует
На полку
Статья
Нигиян, С. А.
Метод резолюций для логики предикатов первого порядка с интерпретированными предикатами / С. А. Нигиян // Доклады Академии наук. – 1998. – Т.359, № 2. – С. 168-170.
-- 1. Информатика.
Нигиян, С. А.
Метод резолюций для логики предикатов первого порядка с интерпретированными предикатами / С. А. Нигиян // Доклады Академии наук. – 1998. – Т.359, № 2. – С. 168-170.
-- 1. Информатика.
Привязано к:
Доступно
1 из 1