Research & Development
В рамках реализации нашей стратегии мы занимаемся исследованиями и разработками по следующим направлениям:
- ленивые, смешанные вычисления;
- семантическое программирование;
- системы логического вывода;
- онтологии;
- оптимальное управление.