укр рус eng
Головна сторінка Електронний каталог Опис документа


Логика и компьютер. Моделлирование рассуждений и проверка правильности программ

Рiк видання: 1990 Мiсце видання: М. Видавництво: Наука
Авторський знак: Л69
Мова: Російська Обсяг: 240 с.
Шифр: 681.3 УДК: 681.3 ISBN: 5-02-007156-0
Відомості щодо назви
 Відомості про відповідальність:Алешина Н.А., Анисов А.М, Быстров П.И. и др.
Серія
 Назва серії:Кибернетика - неограниченные возможности и возможные ограничения
Теми документа

Примірники
Місце збереження Інвентарний номер Номер Кількість Видано
Аб - Абонемент 188056    1 0
ЧЗ - Читальний зал 188055    1 0

'Український Фондовий Дім' Інформаційно-пошукова система
'УФД/Бібліотека'