Report - 計算の理論後半第6回（最終回）koba/class/ComputationTheory/...論理型プログラミング •プログラム = 論理式 •プログラムの実行 = 証明探索

Please pass captcha verification before submit form