Новые поступления (книга в стадии обработки) Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / под ред. Н. А. Алешиной. - М. : Наука, 1990. - ; 20см. - ISBN 5-02-007156-0 : 0.65 р.
Рубрики: Математика--Математическая логика Вычислительная техника--Программирование Кл.слова (ненормированные): математика -- математическая логика -- математическая кибернетика -- логика -- логистические системы -- силлогизм -- программирование -- алгоритм -- искусственный интеллект Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Алешина, Н. А. |