| 词汇 |
Axiomatization in a sentence (esp. good sentence like quote, proverb...) |
正文 |
(1) Axiomatization of economic theory has many obvious advantage.
(2) These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
(3) Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
(4) Therefore no formal system is a true axiomatization of full number theory.
(5) The author stresses the two thought approaches between ancient math mechanization and western axiomatization, and their leading and alternative role in the stages of math development in the world.
(6) The formal basis of the representation is presented in detail, from the axiomatization of time periods to the relationship between actions and events and their effects.
(7) To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic (FPTL).
(8) This paper deals with the existence of the finite complete axiomatization for data dependencies.
| 随便看 |
- Cognizable in a sentence (esp. good sentence like quote, proverb...)
- Profundity in a sentence (esp. good sentence like quote, proverb...)
- Trade deficit in a sentence (esp. good sentence like quote, proverb...)
- Interchangeable parts in a sentence (esp. good sentence like quote, proverb...)
- Alzheimers in a sentence (esp. good sentence like quote, proverb...)
- Exacerbating in a sentence (esp. good sentence like quote, proverb...)
- Logistic in a sentence (esp. good sentence like quote, proverb...)
- Focal in a sentence (esp. good sentence like quote, proverb...)
- Trustworthy in a sentence (esp. good sentence like quote, proverb...)
- Euphony in a sentence (esp. good sentence like quote, proverb...)
- Frisky in a sentence (esp. good sentence like quote, proverb...)
- Militia in a sentence (esp. good sentence like quote, proverb...)
- Orderliness in a sentence (esp. good sentence like quote, proverb...)
- Recognized in a sentence (esp. good sentence like quote, proverb...)
- Contestation in a sentence (esp. good sentence like quote, proverb...)
- Consolidate in a sentence (esp. good sentence like quote, proverb...)
- Banter in a sentence (esp. good sentence like quote, proverb...)
- Jerusalem in a sentence (esp. good sentence like quote, proverb...)
- Dumbfounding in a sentence (esp. good sentence like quote, proverb...)
- Holler in a sentence (esp. good sentence like quote, proverb...)
- Brawny in a sentence (esp. good sentence like quote, proverb...)
- Dominating in a sentence (esp. good sentence like quote, proverb...)
- Collaborative in a sentence (esp. good sentence like quote, proverb...)
- Pancreas in a sentence (esp. good sentence like quote, proverb...)
- Masochist in a sentence (esp. good sentence like quote, proverb...)
|