Similar to 計算論的哲学
失敗による否定
Negation as failure弱文脈依存言語
Mildly context-sensitive grammar formalismロジャー・シャンク
Roger Schank述語変換意味論
Predicate transformer semantics数理論理学
Mathematical logic制約論理プログラミング
Constraint logic programming双模倣性
Bisimulationチューリングマシン
Turing machine▲1 trendsデジタル物理学
Digital physics表明 (プログラミング)
Assertion (software development)ファジィ論理
Fuzzy logic二人の将軍問題
Two Generals' Problem部分観測マルコフ決定過程
Partially observable Markov decision processプログラム意味論
Semantics (computer science)並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programming閉世界仮説
Closed-world assumptionホーン節
Horn clauseマルコフ決定過程
Markov decision processモデル検査
Model checkingヨセフスの問題
Josephus problemラフ集合
Rough setラムダ計算
Lambda calculus論理プログラミング
Logic programmingWikipedia:井戸端/subj/Template:仮リンクに関連する提案
Portal:イギリス/執筆・加筆依頼
第3師団 (イギリス軍)
3rd (United Kingdom) Division第6師団 (イギリス軍)
6th (United Kingdom) Division