Сайт библиотеки БГТУ Сайт БГТУ Электронная библиотека БГТУ
  1. Базы данных
  2. Труды сотрудников БГТУ
  3. Машина вывода для трехзначного логического исчисления Я. Лукасевича
Поиск

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

Авторы: Герман, О. В. Дорожкина, Н. Н.
Местонахождение Подробная информация
Машина вывода для трехзначного логического исчисления Я. Лукасевича
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика
2006
Вып.14. - С. 157-159