Вид документа : Однотомное издание Шифр издания : 004/Л 694 Заглавие : Логика и компьютер. Моделирование рассуждений и проверка правильности программ Выходные данные : М.: Наука, 1990 Колич.характеристики :240 с.: ил. ISBN, Цена 5-02-007156-0: 65.00 р. УДК : 004 Ключевые слова (''Своб.индексиров.''): силлогистика--программирование--теория алгоритмов--правильная программа--поиск доказательств--искусственный интеллект--эпистемическая логика Экземпляры : всего : ОХФ(2) Свободны : ОХФ(2) Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5