Showing 1 - 2 results of 2 for search 'Zhenke Liu', query time: 0.01s
Refine Results
-
1
Formalization of Function Matrix Theory in HOL by Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei
Published 2014-01-01Get full text
Article -
2