Вид документа : Однотомное издание Шифр издания : 510/Л 69 Заглавие : Логика и компьютер : моделирование рассуждений и проверка правильности программ Выходные данные : М.: Наука, 1990 Колич.характеристики : ; 20см ISBN, Цена 5-02-007156-0: 0.65 р. ГРНТИ : 27.03 + 27.47 + 50.05 УДК : 510.6:681.3.06 ББК : 32.81 Предметные рубрики: Математика-- Математическая логика Вычислительная техника-- Программирование Ключевые слова (''Своб.индексиров.''): математика--математическая логика--математическая кибернетика--логика--логистические системы--силлогизм--программирование--алгоритм--искусственный интеллект Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Алешина, Н. А.