
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-SEK-305791"
Записи: 1 - 3 из 3 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
1993	Стрыгин, Владимир Захарович (математик)	Полиномиальный алгоритм выявления общезначимости (выполнимости) булевых формул
1993		Полиномиальный алгоритм синтеза минимальных схем из функциональных элементов И-НЕ (функций Шеффера) / В.З.Стрыгин
2009	Стрыгин, Владимир Захарович (математик)	К методологическим особенностям матричной логики / В. З. Стрыгин

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси