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

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

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

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

№	Дата	Автор	Заглавие
	\|\|\|\|		Mathematical Methods of Specification and Synthesis of Software Systems´85 : Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke. Band 31
	\|\|\|\|		5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski

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