|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Формальные онтологии - комбинаторно-логический подходНИР
- Руководитель НИР: Кузичев А.С.
- Подразделение: Механико-математический факультет
- Срок исполнения: 1 января 2013 г. - 31 декабря 2015 г.
- Номер договора (контракта, соглашения): 13-07-00968
- Номер ЦИТИС: 01201359620
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Алгебра, теория чисел и математическая логика
-
Ключевые слова:
формальная онтология, комбинаторная логика
- Добавил в систему: Кузичев Александр Сергеевич
Источник финансирования НИР
| грант РФФИ |
Этапы НИР
| # | Сроки | Название |
| 3 | 1 января 2015 г.-31 декабря 2015 г. | Формальные онтологии - комбинаторно-логический подход |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".