Sequential two-level formalization of mathematical theoriesтезисы доклада

Дата последнего поиска статьи во внешних источниках: 2 сентября 2016 г.