Copyright © СО РАН
Проект I.1.1.4. Неклассическая теория вычислимости и неклассические логики (2013 - 2016 год)
Разработано и поддерживается Институтом вычислительных технологий СО РАН