Similar to 計算理論
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation
チューリングマシン
Turing machineデジタル物理学
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 programming
Wikipedia:井戸端/subj/Template:仮リンクに関連する提案
Wikipedia:井戸端/subj/翻訳記事はインスタントな良質記事製造機になるか?
Wikipedia:井戸端/subj/TVerなどの動画を出典として良いか
Portal:イギリス/執筆・加筆依頼
紀元前13世紀
13th century BC
第1海兵歩兵落下傘連隊 (フランス軍)
1st Marine Infantry Parachute Regiment
第1軍団 (韓国陸軍)
I Corps (South Korea)
第3師団 (イギリス軍)
3rd (UK) Division
第6師団 (イギリス軍)
6th (UK) Division