Similar to B-Method
第十二号掃海艇 (2代)
第十三号掃海艇
第13師団 (日本軍)
13th Division (Imperial Japanese Army)第十四号掃海艇
第十五号掃海艇
第十六号掃海艇
第十七号掃海艇
第十八号掃海艇
第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg
第29SS武装擲弾兵師団
29th Waffen Grenadier Division of the SS (1st Italian)第34SS義勇擲弾兵師団
34th SS Volunteer Grenadier Division Landstorm Nederland
第36SS武装擲弾兵師団
Dirlewanger Brigade第59師団 (日本軍)
59th Division (Imperial Japanese Army)
一〇〇式三十七粍戦車砲
第101師団 (日本軍)
101st Division (Imperial Japanese Army)
第百九号哨戒艇
0
0
1048576
CICS
CICS
Communicating Sequential Processes
Communicating sequential processes
DPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
