海词手机词典
  • Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a3- valued propositional logic based on an open world.

    播放读音 播放读音