共 50 条
- [36] A Higher-Order Iterative Path Ordering Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2008, 5330 : 697 - 711
- [40] PROBLEM OF USE OF VARIATIONAL PRINCIPLES IN THERMODYNAMICS OF IRREVERSIBLE PROCESSES ZEITSCHRIFT FUR PHYSIKALISCHE CHEMIE-LEIPZIG, 1971, 248 (1-2): : 1 - &