Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Исследования по математической лингвистике, математической логике и информационным языкам
сборник
Члены редколлегии:
Бочвар Д.А.
,
Финн В.К.
Год издания:
1972
Место издания:
Наука Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
1972
Информация в структурах с отношениями
Шрейдер Юлий Анатольевич
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 147-159
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О многозначных логиках, допускающих формализацию анализа антиномий. 1
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 238-295
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О некоторых фрагментах системы Куайна NF
Гришин Владимир Николаевич
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 200-212
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О погружении расширенного исчисления предикатов K0 со схемой аксиом свертывания в арифметику
Шмаин Илья Хананович
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 217-226
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О понятии истины для вполне упорядоченных сильно канторовских множеств
Есенин-Вольпин Александр Сергеевич
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 213-216
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О порождении сложного предложения из простых
Падучева Елена Викторовна
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 59-78
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О самодвойственной системе аксиом классического исчисления высказываний
Ермолаева Надежда Митрофановна
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 232-237
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О тенденциях в области разработки информационно-поисковых языков
Стоколова Н.А.
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 160-199
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
О формальном аппарате синтаксических преобразований
Корельская Татьяна Дмитриевна
,
Падучева Елена Викторовна
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 27-58
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
1972
Об однородном суслинском континууме
Фуксон В.И.
в сборнике
Исследования по математической лингвистике, математической логике и информационным языкам
, место издания
Наука Москва
, с. 227-231
редакторы
Бочвар Дмитрий Анатольевич
,
Финн Виктор Константинович
Страницы: << предыдущая
следующая >>