Normal view
MARC view
- Zhang, Xingyuan
Zhang, Xingyuan (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Interactive Theorem Proving, 2015.