operational semantics 操作语义
理论计算机科学 程序理论 释文 operational semantics 操作语义
- Keate Award
- Keating-Owen Act
- Kebaran Culture
- Kebbi State
- Kebby Sililo Musokotwane
- kecak
- Kechai tax
- Kecheng Qu
- Keckermann
- Keck Interferometer
- Keck telescope
- Keck Ⅰ Telescope
- Keck Ⅱ Telescope
- K_e-codimension
- Ke-codimension
- Kedah
- kedao
- K-edge
- kedge
- k edge colorable graph
- k-edge-colorable graph
- k edge coloring
- k-edge coloring
- k-edge-coloring
- k edge connected graph