计算机词汇
theorem proving英 [ˈθɪərəm ˈpruːvɪŋ]  美 [ˈθiːərəm ˈpruːvɪŋ] [计] 定理证明 |
| theoremproving英 美 [计] 定理证明 |
| theoremproving machine英 美 [计] 定理证明机 |
| theoremproving system英 美 [计] 定理证明系统 |
| theoretical英 [ˌθɪəˈretɪkl] 美 [ˌθiːəˈretɪkl] a. 理论的, 理论上的, 假设的, 推理的
[计] 理论的 |
| theoretical arithmetic英 [ˌθɪəˈretɪkl əˈrɪθmətɪk] 美 [ˌθiːəˈretɪkl əˈrɪθmətɪk] [计] 理论计算 |
| theoretical boundary英 [ˌθɪəˈretɪkl ˈbaʊndri] 美 [ˌθiːəˈretɪkl ˈbaʊndri] [计] 理论界限 |
| theoretical computer science英 [ˌθɪəˈretɪkl kəmˈpjuːtə(r) ˈsaɪəns] 美 [ˌθiːəˈretɪkl kəmˈpjuːtər ˈsaɪəns] [计] 理论计算机科学 |
| theoretical logic英 [ˌθɪəˈretɪkl ˈlɒdʒɪk] 美 [ˌθiːəˈretɪkl ˈlɑːdʒɪk] [计] 理论逻辑学 |
| theoretical margin英 [ˌθɪəˈretɪkl ˈmɑːdʒɪn] 美 [ˌθiːəˈretɪkl ˈmɑːrdʒɪn] [计] 理论边限, 理论系数 |
| theoretical maximum density英 [ˌθɪəˈretɪkl ˈmæksɪməm ˈdensəti] 美 [ˌθiːəˈretɪkl ˈmæksɪməm ˈdensəti] [计] 理论上的最大密度 |
| theoretical principle英 [ˌθɪəˈretɪkl ˈprɪnsəpl] 美 [ˌθiːəˈretɪkl ˈprɪnsəpl] [计] 理论基础, 理论原则 |
| theoretical result英 [ˌθɪəˈretɪkl rɪˈzʌlt] 美 [ˌθiːəˈretɪkl rɪˈzʌlt] [计] 理论结果 |
| theoretical side英 [ˌθɪəˈretɪkl saɪd] 美 [ˌθiːəˈretɪkl saɪd] [计] 理论方面 |
| theoretical value英 [ˌθɪəˈretɪkl ˈvæljuː] 美 [ˌθiːəˈretɪkl ˈvæljuː] [计] 理论值 |
| theory formation英 [ˈθɪəri fɔːˈmeɪʃn] 美 [ˈθiːəri fɔːrˈmeɪʃn] [计] 理论形成 |
| theory model英 [ˈθɪəri ˈmɒdl] 美 [ˈθiːəri ˈmɑːdl] [计] 理论模型 |
| theory of algorithm英 [ˈθɪəri ɒv ˈælɡərɪðəm] 美 [ˈθiːəri əv ˈælɡərɪðəm] [计] 算法理论 |
| theory of automata英 [ˈθɪəri ɒv ɔːˈtɒmətə] 美 [ˈθiːəri əv ɔˈtɑmətə] [计] 自动机理论 |
| theory of branching process英 [ˈθɪəri ɒv ˈbrɑːntʃɪŋ ˈprəʊses] 美 [ˈθiːəri əv ˈbræntʃɪŋ ˈprɑːses] [计] 分支过程理论 |
| theory of computation英 [ˈθɪəri ɒv ˌkɒmpjuˈteɪʃn] 美 [ˈθiːəri əv ˌkɑːmpjuˈteɪʃn] [计] 计算理论 |
| theory of equations英 [ˈθɪəri ɒv ɪˈkweɪʒnz] 美 [ˈθiːəri əv ɪˈkweɪʒnz] [计] 方程论 |
| theory of evidence英 [ˈθɪəri ɒv ˈevɪdəns] 美 [ˈθiːəri əv ˈevɪdəns] [计] 证据推理 |
| theory of evolution英 [ˈθɪəri ɒv ˌiːvəˈluːʃn] 美 [ˈθiːəri əv ˌiːvəˈluːʃn] [计] 进化论 |
| theory of foundations英 [ˈθɪəri ɒv faʊnˈdeɪʃənz] 美 [ˈθiːəri əv faʊnˈdeɪʃənz] [计] 基础理论 |
| theory of function英 [ˈθɪəri ɒv ˈfʌŋkʃn] 美 [ˈθiːəri əv ˈfʌŋkʃn] [计] 函数论 |
| theory of game英 [ˈθɪəri ɒv ɡeɪm] 美 [ˈθiːəri əv ɡeɪm] [计] 对策论, 博弈论 |
| theory of inference英 [ˈθɪəri ɒv ˈɪnfərəns] 美 [ˈθiːəri əv ˈɪnfərəns] [计] 推理论 |
| theory of operation英 [ˈθɪəri ɒv ˌɒpəˈreɪʃn] 美 [ˈθiːəri əv ˌɑːpəˈreɪʃn] [计] 操作理理工作原理 |
| theory of possibility英 [ˈθɪəri ɒv ˌpɒsəˈbɪləti] 美 [ˈθiːəri əv ˌpɑːsəˈbɪləti] [计] 可能性理论 |