Name
Title | ||
|---|---|---|
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). |
Year | DOI | Venue |
|---|---|---|
2018 | 10.11896/j.issn.1002-137X.2015.04.004 | 计算机科学 |
DocType | Volume | Issue |
Journal | 42 | 4 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xingli Lv | 1 | 0 | 0.34 |
| Zhiping Shi | 2 | 168 | 43.86 |
| Xiaojuan Li | 3 | 1 | 4.88 |
| Yong Guan | 4 | 787 | 82.67 |
| Shiwei Ye | 5 | 0 | 0.68 |
| Jie Zhang | 6 | 841 | 185.41 |