計算モデル間の等価性について (II) : 帰納的部分関数とTuring機械

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク