理论计算机科学 程序理论 释文 terminal algebra semantics 终结代数语义
- Orion variable
- orisphere
- Orissa Pradesh
- Orissa Temples
- Oriya films
- Oriya language
- Oriyas
- Orizaba, Pico de
- Orkan Władysław
- Orkhon Province
- Orkney Islands
- Orlande de Lassus
- Orlando
- Orlando Gibbons
- Orlando Museum of Art
- Orlando Winfield Wilson
- Orlicz
- Orlicz class
- Orlicz-Lorentz space
- Orlicz norm
- Orlicz-Pettis theorem
- Orlicz space
- or, Life in the Woods
- Orlov crater
- orlov trotter