形式证法的英文

• formal proof

• "形式"英文翻译    form; shape; layout; modalit ...
• "证"英文翻译    prove; verify; demonstrate
• "法"英文翻译    law
• "制定形式证法" 英文翻译 :    making formal proofs that programs meet specifications part of contracts
• "非形式证明" 英文翻译 :    informal proof
• "形式证明" 英文翻译 :    formal proof
• "思维形式的辩证法" 英文翻译 :    dialectics of thinking form
• "证法" 英文翻译 :    demonstration
• "用保证书证明用书面形式证明" 英文翻译 :    certify
• "用保证书证实用书面形式证实" 英文翻译 :    certify
• "辨证法" 英文翻译 :    dialectic method
• "辩证法" 英文翻译 :    (关于普遍联系和发展的哲学学说) dialectics
• "反证法" 英文翻译 :    proof by contradiction; reduction to absurdity; reductio ad absurdum
• "否证法" 英文翻译 :    method of falsification
• "实证法" 英文翻译 :    positive law
• "回溯式证明" 英文翻译 :    retrovalidate
• "记账式证券" 英文翻译 :    book-entry security
• "鉴定式证据" 英文翻译 :    testimonial evidence
• "欧洲式证券" 英文翻译 :    european depositary receipt
• "型式证明" 英文翻译 :    type certification
• "正式证券" 英文翻译 :    definitive bond
• "指示式证券" 英文翻译 :    document to order
• "形式" 英文翻译 :    1.(事物的形状、结构等) form; shape; layout; modality 流于形式 become a mere formality; 形式多样 be various in forms; 形式和内容 form and content; 他已经肯定获得那份工作了, 口头审查仅是形式而已。 he is already assured of the job and his interview is a mere formality.2.[自动化] (数据安排) format; [数学] quantic; shape
• "原产地a式证明书" 英文翻译 :    form a certificate of origin
• "保证法团" 英文翻译 :    guarantee corporation