人工智能 自动推理 释文 Knuth-Bendix completion 克努特-本迪克斯完备化
- 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
- Nicolescu
- Nicolibor
- Nicolo Amati
- Nicolo Tartaglia
- Nicol prism
- Nicolás Guillén
- Nicomachean Ethics
- Nicomachus
- Nicomachus theorem