logic language信息详情
逻辑语言
logic───n.逻辑；逻辑学；逻辑性
cartesian logic───笛卡尔逻辑
language───n.语言；语言文字；表达能力
effectual logic───有效逻辑
sophism logic───诡辩逻辑
swirl logic───漩涡逻辑
circ logic───电路逻辑
logic puzzles───逻辑猜谜
chop logic───v.强词夺理；咬文嚼字；强词夺理；争辩
Programs are menu driven; no special programming knowledge or logic language required.───程序由菜单驱动，无需特殊的编程知识或逻辑语言要求。
Legal logic USES not only the knowledge of formal logic but the knowledge of dialectical logic language logic an debate logic etc.───法律逻辑不仅运用形式逻辑的知识，还运用辩证逻辑的知识，以及语言逻辑，论辩逻辑等逻辑知识。
logic ; language factor ; rhetoric ; grammar ; semantic.───逻辑；语言因素；语法；语义；修辞。
F. Liu: Interview with Johan van Benthem -- A Life of Logic, Language, and Information, Philosophical Trends, No. 4, 2004.───刘奋荣：与约翰范本特姆教授面对面-聆听逻辑、语言和信息领域巨匠的声音，载《哲学动态》2004年第4期。
It has a triple meaning in logic, language and will.───界限主体具有逻辑、语言和意志三重意蕴。
This paper defines a logic language, which can specify object-oriented systems, based on temporal logic.───针对面向对象系统，定义了一种基于时序逻辑的形式化规约语言。
L. Wang and F. Liu ( eds ): Logic, Language and Thought, Science and Culture of China Press, 2002.───王路、刘奋荣主编《逻辑、语言与思维—周礼全先生八十寿辰纪念文集》，中国科学文化出版社，2002年版。
Criticism on Logic, Language and Ontology of Ancient Chinese Philosophy───中国古代哲学的逻辑、语言和本体论批评
XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. It can describe architecture in different abstract levels.
This paper at first describes a decision logic language and granular computing using trade stock information table, then the principle of intelligent data analysis is discussed, an exa.
This paper introduces the temporal logic language XYZ/E, and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram.
Minghui Ma Department of Philosophy, Tsinghua University Institute for Logic, Language and Computation, University of Amsterdam.
We introduced a method to detect feature interaction in requirements, which is based on the temporal logic language XYZ/E.
Effective language exchanges should satisfy such requirements as language logic, language academy and language communication.