By reductio, there cannot possibly be a procedure that acts like the mythical P.
通过反证法，不存在一个程序，能像传说中的P一样运行。
you cannot tell if computation will stop. For imagine we have a procedure called P
假设我们有一个名称为P的程序，该程序针对具体的输入的代码，能够让你知道，这段具体的源代码，和它所有的故障一起，最终是否会停止运行。
This article gave a detailed description of the major reasons, basic procedure, and related guaranty measures to actualize this mechanism and brought forward several issues to be noticed in the p...
就实施“一体化”的主要原因、基本操作程序及推进“一体化”的相关保证措施做了详细的说明，并提出了在实施中需注意的几个问题。
The number of DSA exposures was decreased in group B(P<0.01), not only to determine the working projection(P<0.01), but also during the procedure(P<0.01).
应用三维数字减影血管造影可以减少总曝光次数（P<0.01），不仅在选取参考图像时曝光次数减少（P<0.01），而且在手术过程中曝光次数也减少（P<0.01）。
The number of DSA exposures was decreased in group B(P<0.01), not only to determine the working projection(P<0.01), but also during the procedure(P<0.01).
应用三维数字减影血管造影可以减少总曝光次数（P<0.01），不仅在选取参考图像时曝光次数减少（P<0.01），而且在手术过程中曝光次数也减少（P<0.01）。
应用推荐