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

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

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

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

№	Дата	Автор	Заглавие
	2004	Шангин, Василий Олегович (кандидат философских наук)	Автоматический поиск натурального вывода в классической логике предикатов : автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.07 / Шангин Василий Олегович ; Моск. гос. ун-т им. М.В.Ломоносова, Филос. фак

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