海词手机词典
  • One of the earliest proof systems, suggested by Moni Naor of the Weizmann Institute of Science in Israel, made use of this notion.

    播放读音 播放读音