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

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

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

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

№	Дата	Автор	Заглавие
	1990	Алешина, Наталия Альбертовна	Логика и компьютер : Моделирование рассуждений и проверка правильности прогр. / [Науч. ред. Е.Д.Смирнова; Авт. предисл. И.М.Макаров]; АН СССР
	1990		Логика и компьютер : моделирование рассуждений и проверка правильности программ / [Н. А. Алешина и др. ; научный редактор Е. Д. Смирнова] ; Академия наук СССР

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