operational semantics 操作语义
理论计算机科学 程序理论 释文 operational semantics 操作语义
- Berger-Kazdan comparison theorem
- Berge theorem
- Bergey's Manual of Systematic Bacteriology
- Berghaus' Physikalischer Atlas（H.Berg-haus）
- bergius process
- Bergman
- Bergman cyclization
- Bergman integral operator
- Bergman kernel
- Bergman kernel function
- Bergman manifold
- Bergman metric
- Bergman metric matrix
- Bergmann's rule
- Bergman operator
- Bergman projection
- Bergman reaction
- Bergman representation
- Bergman series
- Bergman-Shilov boundary
- Bergman space
- Bergman-Weil representation
- Berg Report
- Berg，Alban
- Beriberi