理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- usual molecular marker in aquatic animals
- usual topology
- usufruct
- usufruct of natural resources
- Usulután
- US Unified Tri-service Cognitive Performance Assessment Battery
- usury
- Usu Shi
- US-USSR Leaders Summit Meeting in Geneva
- Usu tatar
- U.S. Wheat Associates
- UT
- Utah Museum of Fine Arts
- Utah State
- U Tak
- Uta Monogatari
- UTAUT
- UTC
- UTC-PAB
- UTD
- uterine artery
- uterine body
- uterine branch
- uterine cervix
- uterine cycle