Поиск

Машина вывода для трехзначного логического исчисления Я. Лукасевича

Авторы: Герман, О. В. Дорожкина, Н. Н.
Местонахождение Краткая информация
Маркер записи n 22 7 4500
Контрольный номер RU/IS/BASE/364492478
Дата корректировки 7:47:06 8 февраля 2023 г.
Служба первич. каталог. БГТУ
БГТУ
rus
BY
681.3+681.55
45-06
Герман, О. В.
Машина вывода для трехзначного логического исчисления Я. Лукасевича
Библиогр. : 4 назв
векторные формулы
вычислительная техника
исчисления Лукасевича
логическое исчисление
машина вывода
Дорожкина, Н. Н.
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика
2006
Вып.14. - С. 157-159