理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- Frederick Handley Page
- Frederick Henry Royce
- Frederick H. Evans
- Frederick Howard Buttel
- Frederick I
- Frederick Jackson Turner
- Frederick Law Olmsted
- Frederick Maharero
- Frederick Philip Grove
- Frederick Pollock
- Frederick Sanger
- Frederick Scott Archer
- Frederick Soddy
- Frederick Wilfrid Lancaster
- Frederick William Gaisberg
- Frederick William Lanchester
- Frederick William Twort
- Frederick William University of Berlin
- Frederick Wiseman
- FrederickⅡ
- Frederic Lamond
- Frederic Lawrence Holmes
- Frederic Mather Lord
- Frederic Michael Scherer
- Frederic Raphael