Similar to 神託機械
確率的チューリング機械
Probabilistic Turing machine交替性チューリング機械
Alternating Turing machineゼノン機械
Zeno machineチューリングマシン
Turing machine▲1 trends非決定性チューリングマシン
Nondeterministic Turing machineDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsΜ再帰関数
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一式旋回機関銃