normal form theorem 范式定理
理论计算机科学 可计算性与计算复杂性 释文 normal form theorem 范式定理
- Nicolas Jenson
- Nicolas Joseph Raux
- Nicolas Leblanc
- Nicolas Longobardi
- Nicolas Léonard Sadi Carnot
- Nicolas Poussin
- Nicolas-Théodore de Saussure
- Nicolas Trigault
- Nicolas‐Louis de Lacaille
- Nicolaus
- Nicolaus Copernicus
- Nicolaus Copernicus Astronomical Centre of the Polish Academy of Sciences
- Nicolaus Cusanus
- Nicolaus I Bernoulli
- Nicolaus II Bernoulli
- Nicolaus Ⅰ Bernoulli
- Nicolaus Ⅰ Bernoulli (1687—1759)
- Nicolaus Ⅱ Bernoulli
- Nicolaus Ⅱ Bernoulli (1695—1726)
- Nicola Vicentino
- nicolayite
- Nicole
- Nicole Brossard
- Nicole Kidman
- Nicole Oresme