当前领域的信息：
本领域为 可计算性与计算复杂性
当前为3级领域
上位领域：理论计算机科学
包含领域/概念总数188个

部分下位领域&概念树：