首頁
隨機
登入
設定
贊助
關於維基詞典
免責聲明
搜尋
probabilistically checkable proof
語言
監視
編輯
正體
:
可能核對證明
[電子計算機]