Similar to 失敗による否定
6
6
7
7
8
8
9
9
1048576
12345679
Guarded Command Language
Guarded Command Language
イェール射撃問題
Yale shooting problem
自己認識論理
Autoepistemic logic
フレーム問題
Frame problem
プロダクションシステム
Production system (computer science)
ユニフィケーション
Unification (computer science)
理論計算機科学
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形式言語の階層
形式手法
Formal methods
形式的検証
Formal verification
ゲーム意味論
Game semantics
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic