semantic tableaux algorithm英 [sɪˈmæntɪk ˈtæbləʊz ˈælɡərɪðəm] 美 [sɪˈmæntɪk təˈbloʊ ˈælɡərɪðəm] [计] 语义表格算法 |
semantic technique英 [sɪˈmæntɪk tekˈniːk] 美 [sɪˈmæntɪk tekˈniːk] [计] 语义法 |
semantic tree英 [sɪˈmæntɪk triː] 美 [sɪˈmæntɪk triː] [计] 语义树 |
semantic unit英 [sɪˈmæntɪk ˈjuːnɪt] 美 [sɪˈmæntɪk ˈjuːnɪt] [计] 语义单位 |
semantic valuation function英 [sɪˈmæntɪk ˌvæljuˈeɪʃn ˈfʌŋkʃn] 美 [sɪˈmæntɪk ˌvæljuˈeɪʃn ˈfʌŋkʃn] [计] 语义评价函数, 语义计算函数 |
semantic word英 [sɪˈmæntɪk wɜːd] 美 [sɪˈmæntɪk wɜːrd] [计] 语义安 |
semantic-based region analyzer英 [sɪˈmæntɪk beɪst ˈriːdʒən ˈænəlaɪzə] 美 [sɪˈmæntɪk beɪst ˈriːdʒən ˈænəˌlaɪzər] [计] 以语义为基础的区域分析程序 |
semantically英 [sɪˈmæntɪk(ə)li] 美 [sɪˈmæntɪk(ə)li] [计] 语义地 |
semantically-equivalent rules英 [sɪˈmæntɪk(ə)li ɪˈkwɪvələnt ruːlz] 美 [sɪˈmæntɪk(ə)li ɪˈkwɪvələnt ruːlz] [计] 语义等价规则 |
semantics evaluation英 [sɪˈmæntɪks ɪˌvæljuˈeɪʃn] 美 [sɪˈmæntɪks ɪˌvæljuˈeɪʃn] [计] 语义学评价 |
semantics implementation system英 [sɪˈmæntɪks ˌɪmplɪmɛnˈteɪʃən ˈsɪstəm] 美 [sɪˈmæntɪks ˌɪmpləmɛnˈteɪʃən ˈsɪstəm] [计] 语义学实现系统 |
semantics meta-language英 [sɪˈmæntɪks ˈmɛtə ˈlæŋɡwɪdʒ] 美 [sɪˈmæntɪks ˈmitə ˈlæŋɡwɪdʒ] [计] 语义学元语言 |
semantics of data英 [sɪˈmæntɪks ɒv ˈdeɪtə] 美 [sɪˈmæntɪks əv ˈdeɪtə] [计] 数据语义学 |
semantics of programming language英 [sɪˈmæntɪks ɒv ˈprəʊɡræmɪŋ ˈlæŋɡwɪdʒ] 美 [sɪˈmæntɪks əv ˈproʊɡræmɪŋ ˈlæŋɡwɪdʒ] [计] 程序设计语言语义学 |
semantics of synchronization英 [sɪˈmæntɪks ɒv ˌsɪŋkrənaɪ'zeɪʃ(ə)n] 美 [sɪˈmæntɪks əv ˌsɪŋkrənaɪ'zeɪʃ(ə)n] [计] 同步语义学 |
semantics representation英 [sɪˈmæntɪks ˌreprɪzenˈteɪʃn] 美 [sɪˈmæntɪks ˌreprɪzenˈteɪʃn] [计] 语义学表示 |
semantics resolution英 [sɪˈmæntɪks ˌrezəˈluːʃn] 美 [sɪˈmæntɪks ˌrezəˈluːʃn] [计] 语义学消解, 语义学归结 |
semantics translator英 [sɪˈmæntɪks trænzˈleɪtə(r)] 美 [sɪˈmæntɪks trænzˈleɪtər] [计] 语义学翻译程序 |
semaphore英 [ˈseməfɔː(r)] 美 [ˈseməfɔːr] n. 信号, 臂板信号, 旗语
vt. 用信号联络
vi. 打信号, 发旗语
[计] 信号; 号志; 信号灯 |
semaphore primitive英 [ˈseməfɔː(r) ˈprɪmətɪv] 美 [ˈseməfɔːr ˈprɪmətɪv] [计] 信号量原语 |
semaphore queue management英 [ˈseməfɔː(r) kjuː ˈmænɪdʒmənt] 美 [ˈseməfɔːr kjuː ˈmænɪdʒmənt] [计] 信号量排队管理 |
semaphore symbol英 [ˈseməfɔː(r) ˈsɪmbl] 美 [ˈseməfɔːr ˈsɪmbl] [计] 信号符号 |
semaphore word英 [ˈseməfɔː(r) wɜːd] 美 [ˈseməfɔːr wɜːrd] [计] 信号量字 |
semi英 [ˈsemi] 美 [ˈsemi] [计] 半 |
semi-automatic英 [ˌsemi ɔːtəˈmætɪk] 美 [ˌsemi ɔːtəˈmætɪk] [计] 半自动的 |
semi-automatic coding英 [ˈsemi ˌɔːtəˈmætɪk ˈkəʊdɪŋ] 美 [ˈsemi ˌɔːtəˈmætɪk ˈkoʊdɪŋ] [计] 半自动编码 |
semi-automatic control英 [ˈsemi ˌɔːtəˈmætɪk kənˈtrəʊl] 美 [ˈsemi ˌɔːtəˈmætɪk kənˈtroʊl] [计] 半自动控制 |
Semi-Automatic Ground Enviroment System英 美 [ˈsemi ˌɔːtəˈmætɪk ɡraʊnd ɛnˈvaɪroʊmənt ˈsɪstəm] [计] 半自动地面防空系统 |
semi-automatic message switching英 [ˈsemi ˌɔːtəˈmætɪk ˈmesɪdʒ ˈswɪtʃɪŋ] 美 [ˈsemi ˌɔːtəˈmætɪk ˈmesɪdʒ ˈswɪtʃɪŋ] [计] 半自动报文交换 |
semi-automatic message switching center英 [ˈsemi ˌɔːtəˈmætɪk ˈmesɪdʒ ˈswɪtʃɪŋ ˈsentə(r)] 美 [ˈsemi ˌɔːtəˈmætɪk ˈmesɪdʒ ˈswɪtʃɪŋ ˈsentər] [计] 半自动报文交换中心 |