＞数理逻辑与数学基础＞模型论＞释义 well-formed formula 合式公式 well-formed formula 合式公式† wff 合式公式
理论计算机科学 可计算性与计算复杂性 释文 well-formed formula 合式公式
- k-uniform hypergraph
- Kunihiko
- Kunikida Doppo
- Kuniko Mukoda
- Kunio Maekawa
- Kunju Opera Theatre of Jiangsu Performing Arts Group
- Kunlun
- kunlun
- Kun Lun Film Company
- Kunlunguan, Battle of
- Kunlun minerogenetic province
- Kunlun Mountains Rock Art
- Kunlun Shan Dadizhen Yiji
- Kunlun Shan Guojia Dizhi Gongyuan
- Kunlun Shankou
- Kunlun Shanmai
- Kunlun Shenquan
- Kunlun Station
- Kunming
- Kunmingchi Garden
- Kunming city
- Kunming Dianchi Ba
- Kunming Heilong Tan
- Kunming Incident
- Kunming Institute of Botany, Chinese Academy of Sciences