Similar to ラムダ計算
述語変換意味論
Predicate transformer semantics
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
双模倣性
Bisimulation
チューリングマシン
Turing machine▼-1 trends
表明 (プログラミング)
Assertion (software development)
プログラム意味論
Semantics (computer science)
第11SS装甲偵察大隊
第36SS武装擲弾兵師団
Dirlewanger Brigade
1920年アントワープオリンピックのギリシャ選手団
Greece at the 1920 Summer Olympics
1952年の音楽
1952 in music
ギルモアのアルゴリズム
項書き換え
Rewriting
公理図式
Axiom schema
合流性
Confluence (abstract rewriting)
再帰理論
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
Μ再帰関数
General recursive function
2の12乗根
Twelfth root of two
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
Ba空間
Ba space