理论计算机科学 程序理论 释文 structural operational semantics 结构化操作语义
- Yamamoto Yasue
- Yamamoto Yuuzou
- Yamamura Botyou
- Yamanashi-ken
- Yamanoue Okura
- Yamantaka
- Yamatai State
- Yama:The Pit
- Yamato-e
- Yamato Park of Tianjin
- Yamato state
- Yamazaki Ansai
- Yamazaki Toyoko
- Yam Daabo
- Yamei Kin
- yamen
- yam family
- Ya Ming
- Yami's scaly-toed gecko
- Yam Kim-fai
- Yamoussoukro
- yam root lesion nematode disease
- Yamuna River
- Yamzho Yumco
- Yan