共 50 条
- [31] Structure Mapping and the Predication of Novel Higher-Order Relations PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 333 - 338
- [35] Stable Relations and Abstract Interpretation of Higher-Order Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (ICFP):
- [36] Lump solutions with higher-order rational dispersion relations PRAMANA-JOURNAL OF PHYSICS, 2020, 94 (01):
- [37] On reducing the search space of higher-order lazy narrowing FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 319 - 334
- [39] A correlation method of search for higher-order angular focusing Technical Physics, 2001, 46 : 630 - 631