人工智能 自动推理 释文 constraint language 约束语言
- Korea screen quota allocation
- Korea space activities
- Korea Strait
- Korea Water Resources Corporation
- Korhogo
- Korinfskiy Apollon Apollonovich
- Korkin
- Korla Shi
- Kormendy relation
- Korn
- Korneforos
- Kornei Ivanovich Chukovsky
- Kornephoros
- Korn inequality
- Korolev crater
- Korolev Design Bureau
- Koronas
- Koronas-Foton
- Koronis family
- Koronis family, asteroids
- Koror
- koro syndrome
- Korotkoff sounds
- Korringa-Kohn-Rostoker method
- Korringa-Kohn-Rostoker method, KKR method