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

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

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

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

№	Дата	Автор	Заглавие
	2001	Иноземцев, Владимир Александрович (кандидат философских наук ; род. 1963)	Логика и дедуктивный вывод в логических моделях представления знаний: метод резолюций и стратегии резолюции : учебное пособие для всех форм обучения факультетов ФИТУ, КСиС и аспирантов / В. А. Иноземцев ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра философии
	2016	Опарин, Всеволод Владиславович	Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Опарин Всеволод Владиславович ; [Санкт-Петербургский национальный исследовательский Академический университет Российской академии наук]

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