共 50 条
- [1] Typed higher-order narrowing without higher-order strategies [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
- [3] Higher-Order Intentionality and Higher-Order Acquaintance [J]. Philosophical Studies, 2007, 134 : 289 - 324
- [5] A dynamically consistent gradient model derived from a discrete microstructure: higher-order stiffness and higher-order inertia [J]. COMPUTATIONAL MODELLING OF CONCRETE STRUCTURES, 2003, : 43 - 51
- [6] HIGHER-ORDER THEORY OF GRAVITATION [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1988, 27 (06) : 695 - 702
- [7] HIGHER-ORDER LEVERMORE THEORY [J]. JOURNAL OF QUANTITATIVE SPECTROSCOPY & RADIATIVE TRANSFER, 1984, 32 (03): : 185 - 190