Маркер записи | 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 |