Horn clause 霍恩子句
人工智能 自动推理 释文 Horn clause 霍恩子句
- Miura Haruma
- Miura transformation
- Miwang Rtogsbrjod
- Mi Wanzhong
- mixability
- mixability rule
- mixed
- mixed acid-base equilibrium disturbance
- mixed acinus
- mixed affinor
- mixed-age education
- mixed airflow cleanroom
- mixed alcohol liquid fuel
- mixed-alcohol liquid fuel
- mixed alphabet
- mixed archival documents
- mixed area
- mixed back analysis
- mixed backbone oligonucleotides，MBO
- mixed base notation
- mixed basis set
- mixed bed ion exchange stationary phase
- mixed-bed ion exchange stationary phase
- mixed boundary condition
- mixed boundary problem