查询词典 inconsistent formal system

generalized power series ring：广义幂级数环

形式幂级数:formal power series | 广义幂级数环:generalized power series ring | 串联反馈调整:series feedback regulated power supply

cognitive pragmatics：认知语用

规范语用学:Formal Pragmatics | 认知语用:Cognitive-pragmatics | 语用功能:pragmatics function

formal pragmatics：形式语用学

和Lycos建立了搜索引擎和门户站点后事实上业界巨头的IBM和微软早已认识到了工作流(workflow)的重要性Petri称之为形式语用学(Formal Pragmatics)自助建站网页订制建网站网页订制年图灵机模型出现,自助建站网页订制自助建站自助建站年冯.诺依曼设计出了支持图灵计算的机器系统,

formal pragmatics：规范语用学

语用原则:Principle of pragmatics | 规范语用学:Formal Pragmatics | 认知语用:Cognitive-pragmatics

precise：嚴謹

所以流程定义的形式必须是正规 (Formal) 、严谨 (Precise) 、并且是可执行的 (Executable) . 流程管理 (Management) :怎么知道流程状态?有没有一种像数据库 SQL 一样的流程查询语言?

predicate logic：谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

preliminary hearing：预审

在很多宪法性判决中,联邦最高法院牢固的确立了这样一个规则:宪法第六修正案所规定的律师帮助权只有在"对抗制刑事司法程序启动之时或之后"才能得以适用,其起始标志包括正式的起诉(formal charge),预审(preliminary hearing),大陪审团的起诉(indictment),

preschool education：学前教育

学历教育education with record of formal schooling | 学前教育preschool education | 学生处students' affairs division

A put in order：使...整齐,秩序井然

I out of order 发生故障,失调 =not in accordance with the rules of a formal meeting | A put in order 使...整齐,秩序井然 | E every other 每隔一个的 We go to visit our friend every other week.

put into formal use：正式启用

purchase contract 购机合同 | put into formal use 正式启用 | put into service 投入运营

Canavalia maritima：海刀豆

裸花紫珠Callicarpa nudiflora + | 海刀豆Canavalia maritima + + | 山柑藤Cansjera rheedii +

Fantasyland：夢幻樂園

并出口至印度尼西亚的印度食品-FRITOLAY.生产FILMFRAME,骑士满(CHESSMEN)及拍波乐(PUBLE).1998年,生产时尚按钮(FANCYBUTTONS)及各种贴纸,建造全包装机,将流新集团更名为流新太科.1999年,生产POP-UP及梦幻乐园(FANTASYLAND)系列产品,开始生产