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