繁體版 English Việt
登录 注册

有限论的英文

发音:  
"有限论"怎么读用"有限论"造句

英文翻译手机手机版

  • finitism

例句与用法

  • Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
    命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题,不仅在理论上有着重要的地位,而且在许多实际问题中得到了广泛的应用。
用"有限论"造句  
有限论的英文翻译,有限论英文怎么说,怎么用英语翻译有限论,有限论的英文意思,有限論的英文有限论 meaning in English有限論的英文有限论怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。