Similar to 有限オートマトン
Communicating Sequential Processes
Communicating sequential processes
決定性有限オートマトン
Deterministic finite automaton
チューリングマシン
Turing machine
非決定性有限オートマトン
Nondeterministic finite automaton
ビリヤードボール・コンピュータ
Billiard-ball computer
プロセス計算
Process calculus
ペトリネット
Petri net
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
DPLLアルゴリズム
DPLL algorithm
Mathematica
Wolfram (software)
Mizar
Mizar system/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
形式的検証
Formal verification
8888民主化運動
8888 Uprising
九一式手榴弾
Type 91 grenadeB.5.b
Berkeley Software Distribution
Berkeley Software Distribution
C Shell
C shell
0
0▼-1 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7