理论计算机科学 程序理论 释文 small-step semantics 小步语义
- Kraus-type radio telescope
- Kravchuk
- Kravchuk polynomial
- Kraz
- Krazer
- Kraïtchik
- Krebs cycle
- k-rectifiable set
- KREEP
- KREEP norite
- K region theory
- K-region theory
- Krein
- Krein Milman theorem
- Krein-Milman theorem
- Krein space
- Krein theorem
- Kremlin
- Kremlyov,Yuly Anatolyevich
- kreotoxin
- kresoxim-methyl
- Kressa
- Kreta Ayer People's Theatre
- Kreutz group
- Kreutz group of comets