Akademik

图灵机形式化

_

Turing machine formalization

Наука. 2013.