http://ja.wcontology.org/resource/Category:再帰
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:セル・オートマトン
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:アルゴリズム的情報理論
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:計算モデル
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:計算可能性理論
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:計算理論の定理
(
describe
)
http://wcontology.org/core#usedForConstraint
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:コンピュータの算術
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論
http://ja.wcontology.org/resource/Category:計算理論
(
describe
)
http://www.w3.org/2002/07/owl#sameAs
(
describe
)
http://en.wcontology.org/resource/Category:Theory_of_computation
http://ja.dbpedia.org/resource/Category:計算理論
http://www.w3.org/1992/02/22-rdf-syntax-ns#type
(
describe
)
http://wcontology.org/core#setCategory
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:理論計算機科学
http://www.w3.org/ns/prov#wasDerivedFrom
(
describe
)
http://ja.wikipedia.org/wiki/Category:計算理論?oldid=55735123
http://wcontology.org/core#subClassOf
(
describe
)
http://ja.wcontology.org/resource/Category:理論
http://ja.wcontology.org/resource/Category:計算複雑性理論
(
describe
)
http://wcontology.org/core#subClassOf
(
describe
)
http://ja.wcontology.org/resource/Category:計算理論