Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике
сборник
Год издания:
1979
Место издания:
Институт философии АН СССР Москва
Добавил в систему:
Кузичев Александр Сергеевич
Статьи, опубликованные в сборнике
1979
Графиковая модель комбинаторной логики
Шабунин Леонид Васильевич
в сборнике
Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике
, место издания
Институт философии АН СССР Москва
, с. 104-107
1979
Исследование комбинаторно полных систем
Кузичев Андрей Александрович
,
Кузичев Александр Сергеевич
в сборнике
Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике
, место издания
Институт философии АН СССР Москва
, с. 46-50
1979
О дедуктивных системах комбинаторной логики с каноническими ограничениями Карри
Шумихин Виктор Павлович
в сборнике
Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике
, место издания
Институт философии АН СССР Москва
, с. 108-111
1979
О формализации логико-математических теорий: дедуктивные системы с неограниченным принципом комбинаторной полноты
Кузичев Александр Сергеевич
в сборнике
Логический анализ естественных языков. Материалы Второго Советско-финского коллоквиума по логике
, место издания
Институт философии АН СССР Москва
, с. 51-55