Бирюков Б. В. У истоков отечественных исследований по поиску логического вывода: О двух симпозиумах 60-х годов XX века, состоявшихся в г.Тракае (Литовская ССР) / Бирюков Б. В. // Вопросы философии. - 2006. - № 12. - С. 99 - 119. - Библиогр. ссылки. - Примеч.Отраслевые рубрики: история философии, логика, философия, философские науки Ключевые слова: XX век, автоматизация логических рассуждений, искусственный интеллект, история логики, исчисление предикатов, логика предикатов, логические рассуждения, логический вывод, логическое следование, математическая логика, Россия, семантические таблицы, формализованные теории Персоналии: Яновская Софья Александровна, Шанин Николай Александрович
|