查询词典 expressibility
- 与 expressibility 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Intuitionists can accept expressibility of formal system and recursive functions, but will deny any concept of truth outside provability of first order arithmetic.
本文引入了直觉主义的思想,对维特根斯坦的评论进行了新的解读,指出哥德尔证明中所基于的一阶算术的解释是模糊的。
-
This computing model has good properties (e.g., confluence and termination) and powerful expressibility, and by using it certain non termination problems can be solved and more parallelism can be exploited.
但在实际应用中,通常的项重写系统有时不能很好地解决某些问题,试举一例:文献[1]给出了一个基于重写方法的程序开发系统,在这一系统中,可通过引入优化规则来实现用户的特
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时,他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想,是邓小平经济理论体系中的重要组成部分,是我国经济建设根本任务的一个重要方面。