哲学 逻辑 释 dynamic semantics 动态语义学 形式语义学的一个分支，其特征是采用动态逻辑的方法分析自然语言语义。
理论计算机科学 程序理论 释文 dynamic semantics 动态语义
- balling effect in selective metal powder melting and forming
- Balling inhibitor
- ballistic
- ballistic aggregate
- ballistic aggregation
- ballistic bunching
- ballistic camera
- ballistic constant
- ballistic curve
- ballistic design
- ballistic electron emission microscopy
- ballistic electron injection
- ballistic galvanometer
- ballistic missile defence system
- Ballistic Missile Early Warning System
- ballistic mode
- ballistic parameter
- ballistic pendulum
- ballistic photogrammetry
- ballistic photon
- ballistic range
- ballistics
- ballistic shields
- ballistic thermal conduction
- ballistic trajectory