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

单词	probabilistically checkable proofs verifier
释义	probabilistically checkable proofs verifier Computer 理论计算机科学可计算性与计算复杂性释文 probabilistically checkable proofs verifier概率可检测证明验证者
随便看	Hulun Buir Sandy Land Hulunbuir Sandy Land Hulun Buir Shadi Hulun Buir sheep Hulun Buir Shi Hulun Lake Hulu River Hulv hum Humahe Provincial nature reserve Hu Man human human ability or capacity human adaptation human adaptivity human adenovirus human agent human-aided machine translation human-aided machine translation, HAMT human albumin human albumin test human anatomy human and animal drinking water quota for pasture area human and animal excreta human and nature information communication

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