共 50 条
- [41] Higher-order theorem proving and its applications IT-INFORMATION TECHNOLOGY, 2019, 61 (04): : 187 - 191
- [43] ONSAGERS THEOREM AND HIGHER-ORDER HYDRODYNAMIC EQUATIONS PHYSICAL REVIEW A, 1974, 10 (04): : 1272 - 1276
- [49] Higher-order unification as a theorem proving procedure Proceedings of the International Conference on Logic Programming, 1991,