Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.] ; науч. ред. Е. Д. Смирнова
Вихідні дані: М. : Наука, 1990Опис: 240 с. : ил.Мова: російська.Країна: СРСР.Форматний номер: 2 формат (висота > 17-23 см)ISBN: 5-02-007156-0.Серія: Кибернетика - неограниченные возможности и возможные ограниченияВид літератури за цільовим призначенням: НауковіУДК: 16 + 004.4Наявність бібліографії/покажчика: Библиогр.: с. 231-235 (52 назв.).УДК-теми: 16 Логiка. Епiстемологiя. Теорiя пiзнання. Методологiя та логіка науки « 1 Фiлософськi науки004.4 Програмне забезпечення « 004 Комп'ютерна наука і технологія. Застосування комп'ютера « 00 Загальнi питання науки i культури « 0 Загальний вiддiл Тип одиниці: КнигаТип одиниці зберігання | Поточна бібліотека | Шифр зберігання | Стан | Очікується на дату | Штрих-код | |
---|---|---|---|---|---|---|
Книга | Книгосховище № 5 (KSH5) Фонд відділу абонементів навчальної літератури | 004/Л694 (Огляд полиці(Відкривається нижче)) | Доступно | NR0504813 | ||
Книга | Книгосховище № 5 (KSH5) Фонд відділу абонементів навчальної літератури | 004/Л694 (Огляд полиці(Відкривається нижче)) | Доступно | NR0494506 | ||
Книга | Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01297260 (Огляд полиці(Відкривається нижче)) | Доступно | 01297260 | ||
Книга | Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01298943 (Огляд полиці(Відкривається нижче)) | Доступно | 01298943 | ||
Книга | Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01298944 (Огляд полиці(Відкривається нижче)) | Доступно | 01298944 | ||
Книга | Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01298945 (Огляд полиці(Відкривається нижче)) | Доступно | 01298945 |
Библиогр.: с. 231-235 (52 назв.)