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