Given a theory(set of formal sentences) M in the modal logic S4, we can form its Lindenbaum-Tarski algebra:.
在一种称为偶极子模态的振荡形式里,恒星的一个半球会变得更亮而其他部分会变得更黯淡。
In one form of oscillation pattern, known as the dipole mode, one hemisphere of the star becomes brighter while the other becomes dimmer.
模态伙伴理论基石是Blok-Esakia定理,由WimBlok和LeoEsakia独立证明。
The cornerstone of the theory of modal companions is the Blok- Esakia theorem, proved independently by Wim Blok and Leo Esakia.
本课程将有一系列灵活的多模态传递方案,其中将包括研讨会,Learnline,脸对脸交付和外部。
The course will have a range of flexible multi modal delivery options that will include workshops, Learnline, face-to-face delivery and external.
当他们看着基本和高阶模式之间的差异,他们发现,在高阶模态间,距离变小。
When they looked at the differences between fundamental and higher order modes, they found that the interparticle distance was smaller in higher order modes.
Bootstrap's interactive components- such as modal dialogs, dropdown menus and custom tooltips- are designed to work for touch, mouse and keyboard users.
模态伙伴共享最初中间逻辑的各种性质,这确使使用为模态逻辑开发的工具研究中间逻辑。
Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic.
工业机器人多模态传感器技术,零重力粉末增材制造,配电网能源管理或冷室压铸机。
Multimodal sensors for industrial robots, powder-based additive manufacturing at zero gravity, energy management for distribution grids or a cold-chamber die casting machine.
中文
Bahasa indonesia
日本語
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Italiano
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt