Similar to 計算木論理
時相論理
Temporal logic
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
線形時相論理
Linear temporal logic
マルコフ決定過程
Markov decision process
M系列
Maximum length sequence
アルゴリズム
Algorithm
Mizar
Mizar system
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
Disquisitiones Arithmeticae
Disquisitiones Arithmeticae
DPLLアルゴリズム
DPLL algorithm
DTIME
DTIME
0
0
1
1▼-1 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
論理学
Logic
Colorless green ideas sleep furiously
Colorless green ideas sleep furiouslyNot even wrong
Not even wrong