共 50 条
- [1] Generalization algorithms for second-order terms INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3194 : 147 - 163
- [4] SECOND-ORDER TERMS IN A TRAVELING SOUND WAVE SOVIET PHYSICS ACOUSTICS-USSR, 1968, 14 (01): : 61 - +
- [6] SECOND-ORDER SUSCEPTIBILITY TERMS IN ORTHOFERRITES AT ROOM TEMPERATURE PHYSICAL REVIEW, 1964, 135 (1A): : A97 - +
- [7] First- and Second-Order Logic of Mass Terms Journal of Philosophical Logic, 2004, 33 : 261 - 297