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

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

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

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

Дата	Автор	Заглавие
1988	Уткин, Анатолий Александрович (информатика)	Экспериментальное исследование задачи о выполнимости / А. А. Уткин
1986	Уткин, Анатолий Александрович (информатика)	Экспериментальное исследование задачи о выполнимости / А.А.Уткин
1993		Экспертная система логического распознавания "Эксилор" : инструкция пользователя / Академия наук Беларуси, Институт технической кибернетики ; [авторы-составители: А. Д. Закревский и др.]
1979	Уткин, Анатолий Александрович (информатика)	Анализ логических сетей и техника булевых вычислений / А. А. Уткин ; под редакцией А. Д. Закревского ; Академия наук Белорусской ССР, Институт технической кибернетики

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