＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- L. J. Mordell
- L. J. Mordell (1888—1972)
- L J potential
- L-J potential
- LJ potential
- L. J. Rogers
- L. J. Rogers (1862—1933)
- Ljubljana
- Ljubomir LjubaTadic
- L-J势
- LJ势
- L/K form
- L. Kronecker
- L. Kronecker (1823—1891)
- LKTS
- L/K形式
- LK方法
- LL(1) parser
- LL(1)语法分析器
- L-lactic acid
- L. lactis subsp. diacetilactis
- L. Lafforgue
- L. Lafforgue (1966—)
- Llandovery Epoch/Series
- llaryngectomy