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

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

Сортировать по: 
Дата Автор Заглавие
2004   Исчисление высказываний : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П.М.Машерова" ; [составитель Е.А.Таргонский]
2004   Логика и компьютер / Российская академия наук. — Вып. 5: Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков и др.]
Записей на стр.