Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313
Електронний каталог
Миколаївська обласна бібліотечна асоціація
Ресурси бібліотек міста Миколаєва

Фонд Науково-педагогічної бібліотеки- результаты поиска

Головна - e-catalog.mk.ua

база даних містить 307969 бібліографічних записів

База даних

Вид пошуку: СтандартнийРозширений
Область пошуку
в найденном
Формат відображення документів:
полныйинформационныйкраткий
Поисковый запрос: <.>GUID={500BBC12-31DB-4ED8-8716-0EDCC624CAEE}<.>
Общее количество найденных документов : 1
1.
32.81
Л 69


   
    Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] / Н. А. Алешина, А. М. Анисов, П. И. Быстров. - М. : "Наука", 1990. - 240 с. : ил. - ISBN 5-02-007156-0 : 3.17 р.
ББК 32.81

Рубрики: Кібернетика,  Логіка--інформатика
Знайти подібні документи / URL: посилання на документ
Институт медленного и болезненного выяснения самых очевидных вещей