Библиотека » Информационные Технологии

Интеллектуальные обучающие системы, основанные на автоматическом доказательстве теорем: методы и реализация
Васильев С.Н., Смирнова Н.В., Современные технологии и материалы - ключевое звено в возрождении отечественного авиастроения: Сборник докладов международной научно-практической конференции.....
Интеллектуальные обучающие системы, основанные на автоматическом доказательстве теорем: вопросы архитектуры
Васильев С.Н., Смирнова Н.В., Современные технологии и материалы - ключевое звено в возрождении отечественного авиастроения: Сборник докладов международной научно-практической конференции.....
Количественный анализ лексики русского WordNet и викисловарей
Смирнов А.В., Круглов В.М., Крижановский А.А., Луговая Н.Б., Карпов А.А., Кипяткова И.С., Смирнов А.В., Круглов В.М., Крижановский А.А., Луговая Н.Б., Карпов А.А., Кипяткова И.С. Количественный анализ лексики русского WordNet и викисловарей // Труды СПИИРАН. 2012.....
Подход к автоматизированному построению общецелевой лексической онтологии на основе данных викисловаря
А.А. Крижановский, А.В. Смирнов, Крижановский А.А., Смирнов А.В. Подход к автоматизированному построению общецелевой лексической онтологии на основе данных викисловаря // Известия РАН. Теория и....
On the Problem of Wiki-Texts Indexing
Krizhanovsky A., Smirnov A., International Journal of Computer and Systems Sciences, 2009, 48(4). P.616-624..