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

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

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

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

№	Дата	Автор	Заглавие
	1984		Computation and proof theory : proc. of the Logic colloquium held in Aachen, July 18-23, 1983 / ed. by M. M. Richter [et al.]
	1990		CSL'89. 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2−6, 1989 : proceedings / editors: E. Börger, H. Kleine Büning, M. M. Richter

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