理论计算机科学 程序理论 释文 weakest precondition 最弱前置条件
- Archytas
- Archytas curve
- Archytas (约公元前375)
- ARCH模型
- ARCH过程
- arcing
- arc lamp
- arc length
- arc-length parameter
- arc length parameterization
- arc line
- arc magnetic separator
- arc measurement
- arcmin
- arc minute
- arcminute
- Arcminute Cosmology Bolometer Array Receiver
- arc of a circle
- arc of a cycloid
- AR-component
- arcotron
- arcover
- arc plasma wind tunnel
- arc polygon
- ARC projection