Форма документа : Однотомне видання Шифр видання : 007/Л69 Назва : Логика и компьютер : моделирование рассуждений и проверка правильности программ Вихідні дані : Москва: Наука, 1990 Кільк.характеристики :240 с.: ил. Серія: Кибернетика : УДК : 007 MeSH-головна: ЛОГИКА -- LOGIC КОМПЬЮТЕРЫ -- COMPUTERS Примірники :КСХ(1) Вільні : КСХ(1)