Войти Зарегистрироваться

Подписаться на новости Отписаться

Новости

Семинар «Категория игр и построение в ней модели ламбда-исчисления»

Семинар «Использование библиотеки Masala для построения комбинаторов синтаксического разбора на JavaScript»

Семинар «Описание типов данных как идеалов и как интервалов»

Семинар «Поддержка совместимости систем модульности для программ на базе React»

Семинар «Разработка и отладка языков прикладной комбинаторной логики»

Семинар «Возможности использования средства Kaldi для распознавания речи»

Семинар «Линейные и ветвящиеся временные логики. Часть 1. Структуры Крипке»

Семинар «Построение трансформационных семантик признаков объектов данных»

Семинар «Технологии сбора данных, зависящих от разных фрагментов описания состояния системы»

Семинар «Реализация функций расширенной реляционной алгебры для системы концептуального оценивания в комбинаторной технике»

Следующая страница