Similar to 神託機械
確率的チューリング機械
Probabilistic Turing machine交替性チューリング機械
Alternating Turing machineゼノン機械
Zeno machineチューリングマシン
Turing machine▲1 trends非決定性チューリングマシン
Nondeterministic Turing machineDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
AlgorithmΜ再帰関数
General recursive function2の12乗根
Twelfth root of twoAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)Ba空間
Ba spaceCalculus on Manifolds (書籍)
Calculus on Manifolds (book)D-加群
D-moduleESPACE
ESPACEGrundzüge der Mengenlehre
Grundzüge der MengenlehreGδ集合
Gδ setKdV方程式
Korteweg–De Vries equation第四号海防艦
第六潜水艇
▲3 trends第十三号輸送艦
第二十号海防艦
第二十二号海防艦
第三十号海防艦
I号自走重歩兵砲
15 cm sIG 33 (Sf) auf Panzerkampfwagen I Ausf BI号戦車
Panzer I一式旋回機関銃