検索結果 8 件
紙図書
国立国会図書館
- 件名項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き 定理の自動証明 単一化 深さ保存性 拡張危険対の完備化
紙図書
国立国会図書館
- 件名項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合...
紙図書
国立国会図書館
- 件名項書き換えシステム 左線形TRS 合流性 Church-Rosser 完備化手続き 非線形TRS 強重なり性 重さ保存性
デジタル文書・図像類
全国の図書館
- 件名項書換え 合流性 完備化 戦略
- 一般注記...の場合に対し統一した。また極大完備化という定理証明ための新たな基盤......析ツールSaigawa と自動完備化ツールMaxcomp を開発した。 : Term rewri...
検索結果は以上です。