Dianzi xuebaoいくつかの論量子プログラムの終了検証【JST・京大機械翻訳】Lei Hong-xuan, Peng Jia-yin, Liu YiPublished Jan 1, 2016• 0 citationsOpenAlex