大家都搜:
adj.单细胞生物的;单孢体的
1、tornadic───adj.龙卷风的,飓风的;旋风的
2、monadical───单一的
3、monastic───adj.修道院的;僧尼的;庙宇的;n.僧侣;修道士
4、monacid───adj.一酸的;一价的;n.一元酸
5、gonadic───性腺的
6、monodic───adj.挽歌的;独唱的
7、monacidic───单酸的
8、maenadic───前王朝
9、monadism───n.单元论;单子论体系
1、Hence S5-algebra is a synonym for monadic Boolean algebra.───所以S5-代数是一元布尔代数的同义词。
2、They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.───它们对应一元谓词逻辑,而布尔代数对应于命题逻辑,而多元代数对应于一阶逻辑。
3、Monadic Boolean algebras also have an important connection to modal logic.───一元布尔代数还与模态逻辑有重要联系。
4、Simply Talking about Application of Monadic Linear Regression Analysis, Straight Line Interpolation in Jack Calibration───浅谈一元线性回归分析、直线插值法在千斤顶标定中的应用
5、How to use an Alex monadic lexer with Happy?───如何使用一个亚历克斯一元词法分析器与快乐吗?
6、In this paper we analyze the relation of some special domains and its monadic polynomial rings.───给出一些特殊的整环与它的一元多项式环之间的关系。
7、Modular monadic slicing for programs with Pointers.───指针程序的模块单子切片。
8、Likewise, monadic Boolean algebras supply the algebraic semantics for S5.───类似的,一元布尔代数为S5提供了代数语义。
9、The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.───模态逻辑S5,被看作S4中一个理论,是一元布尔代数的模型,如同模态逻辑S4是内部代数的模型。
1、Monadic Boolean algebras have an important connection to topology.
2、Hence S5-algebra is a synonym for monadic Boolean algebra.
3、Modular monadic slicing for programs with pointers.
4、Likewise, monadic Boolean algebras supply the algebraic semantics for S5.
5、Sentencedict.com is a online sentence dictionary, on which you can find good sentences for a large number of words.
6、Why are monadic predicates not sufficient for a complete description of the world?
7、This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
8、The calculations of extreme value for monadic and binary function are essential problem in mathematical analysis , which can apply to calculate maximum and minimum.
9、To use monadic means is difficult to correctly locate hidden water flowing subsided columns.