unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

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

Сортировать по: 
Дата Автор Заглавие
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
Записей на стр.