Similar to 双模倣性
CR多様体
CR manifold
DPLLアルゴリズム
DPLL algorithm
13
13 (number)
19
19 (number)
40
40 (number)
50
50 (number)70
70 (number)
12345679
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算理論
Theory of computation
計算論的哲学
Computational philosophy
形式言語
Formal language形式言語の階層
ゲーム意味論
Game semantics
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic再帰的定義
Recursive definition
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
