Вид документа : Однотомное издание Шифр издания : 32.97/Л 69 Заглавие : Логика и компьютер:Моделирование рассуждений и проверка правильности программ. Выходные данные : Б.м., 1990 Колич.характеристики :238 с Цена : 0.65, р. ББК : 32.97 Предметные рубрики: Техника Ключевые слова (''Своб.индексиров.''): компьютер Экземпляры :ОЗ(1) Свободны : ОЗ(1)