共 50 条
- [13] A higher-order logic programming language with constraints FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
- [14] The research of "Higher-Order Derivative Constraints" theory 2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 2715 - 2719
- [20] Vakonomic Constraints in Higher-Order Classical Field Theory XVIII INTERNATIONAL FALL WORKSHOP ON GEOMETRY AND PHYSICS, 2010, 1260 : 119 - 125