Бирюков, Б. В. У истоков отечественных исследований по поиску логического вывода [Текст] : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков> // Вопросы философии. - 2006. - N 12. - С. . 99-119. - Библиогр. в сносках. - 0; Первый тракайский симпозиум. - 0; Проблема поиска вывода исчислении предикатов. - 0; Второй тракайский симпозиум. - 0; Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект". - s, 2006, , rus. - RUMARS-voph06_000_012_0099_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - Заглавия симпозиумов не указаны. - N 12. - С. 99-119. - voph06_000_012_0099_1, 12, 99-119
Рубрики: Философия--Философские вопросы и методология отдельных наук Радиоэлектроника--Искусственный интеллект. Экспертные системы--Кибернетика, 20 в. 60-е гг. Кл.слова (ненормированные): симпозиумы -- всесоюзные симпозиумы -- тракайские симпозиумы -- логика -- логические выводы -- алгебро-логические исследования -- философия математики -- математика (философия) -- предикаты -- машинный поиск (кибернетика) -- математическая логика Аннотация: Тракайские симпозиумы не получили должного отражения в литературе. Настоящая публикация и служит восполнению этого пробела в историографии отечественной логики. Доп.точки доступа: Шанин \н. А.\; Яновская \с. А.\; Тракайский симпозиум; Тракайский симпозиум Нет сведений об экземплярах (Источник в БД не найден) |