proof total
英 [pru:f ˈtəutəl] 美 [pruf ˈtotl]

释义

总计验证；

权威例句

Consistent and complete proof rules for the total correctness of parallel programs
Consistent and complete proof rules for the total correctness of parallel programs
Verwoerd's Bureau of Proof: Total Information in the Making of Apartheid
IDENTIFICATION AND PROOF TESTING OF NEW TOTAL FLOODING AGENTS: TOXICITY AND GLOBAL ENVIRONMENTAL ASSESSMENT
Identification And Proof Testing Of New Total Flooding Agents: Combustion Suppression Chemistry And Cup-Burner Testing
A New Proof of the Total Embedded Resolution Theorem for Algebraic Surfaces (Based on the Theory of Quasi-Ordinary Singularities)
A formalized proof system for total correctness of while programs
A formalized proof system for total correctness of while programs
A Hoare-like proof system for total correctness of nested recursive procedures
4. TITLE AND SUBTITLE Identification and Proof Testing of New Total Flooding Agents: Toxicity and Global Environmental Assessment