共 50 条
- [2] The Luzin Theorem for Higher-Order Derivatives [J]. MICHIGAN MATHEMATICAL JOURNAL, 2012, 61 (03) : 507 - 516
- [4] Higher-order Representation of Substructural Logics [J]. ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 131 - 141
- [5] Higher-order Network Representation Learning [J]. COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), 2018, : 3 - 4
- [7] Selection for Representation in Higher-Order Adaptation [J]. Minds and Machines, 2015, 25 : 73 - 95
- [8] Higher-order theorem proving and its applications [J]. IT-INFORMATION TECHNOLOGY, 2019, 61 (04): : 187 - 191