“probabilistically checkable proofs theorem”的概念、定义、翻译、参考文献-科学参考

单词	probabilistically checkable proofs theorem
释义	probabilistically checkable proofs theorem Computer 理论计算机科学可计算性与计算复杂性释文 probabilistically checkable proofs theorem概率可检测证明定理
随便看	tilt angle tilted algebra Tilted Cold Dark Matter model tilted fault block tilted plane processor tilt erro tilt error tilting complex tilting module tilting-pad bearing tilting pad journal tilting pulse front tiltmeter Tilt observation tilt observation tiltometer tiltrotor aircraft tilt-shift lens tilt table test TIM Timaeus Timar System Timaru timber timber beam

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。