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

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

Запрос: a001="BY-NLB-ar81563"
Записи: 1 - 7 из 7 (стр. 1 из 1)

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

Дата	Автор	Заглавие
2004		Логика и компьютер / Российская академия наук. — Вып. 5: Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.]
1989	Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014)	Логический вывод в конечных предикатах / А. Д. Закревский
1989		Редактор базы знаний для проектирования дискретных устройств / Академия наук Белорусской ССР, Институт технической кибернетики ; [авторы-составители: Б. М. Егоров, А. А. Прихожий ; научный редактор В. А. Мищенко]
2005	Корухова, Юлия Станиславовна	Система автоматического синтеза функциональных программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Корухова Юлия Станиславовна ; Московский государственный университет им. М.В.Ломоносова
1995	Таргонский, Евгений Антонович (кандидат физико-математических наук)	Методические указания к изучению темы "Алгебра предикатов" для студентов математических и физических факультетов / Е. А. Таргонский ; Министерство образования и науки Республики Беларусь, Витебский государственный педагогический институт
2000	Косовский, Николай Кириллович	Логики конечнозначных предикатов на основе неравенств : Учеб. пособие / Н.К.Косовский, А.В.Тишков ; С.-Петерб. гос. ун-т
2006	Ашраф, Абд Эль-Фаттах Мустафа Дарвиш	Расширение предикатных формул линейными неравенствами и списками для спецификации программ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш ; [Санкт-Петербургский государственный университет]

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