理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- terminal form
- terminal ganglion
- terminal glycosylation
- terminal group
- terminal group; end group
- terminal guidance
- terminal hair
- Terminal High Altitude Area Defense
- terminaliae belliricae fructus
- terminal inflorescence
- terminal information system
- terminal interface control system
- terminality
- terminal knob
- terminal laser level population
- terminal leaving orbit phase
- terminal ligand
- terminal membrane
- terminal modification
- terminal moraine
- terminal nerve
- terminal nucleus
- terminal object
- terminal of a channel
- terminal of a contact network