日语在线翻译

库克可归约性

库克可归约性

拼音: kù kē kě guī yuē xìng
英語訳 Cook reducibility