Search results 7
Paper図書
National Diet Library
- Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TRS / 完備化手続き / 定理の自動証明 / 単一化 / 語問題 / 項合流性
Paper図書
National Diet Library
- Subject Heading制約に基づく文法 連続量 最適性 辞書 電子化コーパス タグ 単一化 日本語
Paper図書
National Diet Library
- Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き 定理の自動証明 単一化 深さ保存性 拡張危険対の完備化
Paper図書
National Diet Library
- Subject Heading高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理型言語 類推 推論...
Paper図書
National Diet Library
- Subject Headingパタン照合アルゴリズム テキスト処理 逐字処理 単一化 日本語処理 情報検索 サーチ技法 データベースシステム
Paper図書
National Diet Library
- Subject Headingハードウエアアルゴリズム 冗長表現 超LSI 冗長2進表現 算術演算回路 剰余数表示法 単一化操作 ハードウエア設計言語
Reached to the end of result.