ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
文献
J-GLOBAL ID:200902161702544705   整理番号:93A0956461

ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き

Completion with Multiple Reduction Orderings based on ATMS Data Structure.
著者 (3件):
資料名:
号: 166  ページ: 35-44  発行年: 1993年10月 
JST資料番号: F0661A  ISSN: 0385-602X  CODEN: HDKKA  資料種別: 逐次刊行物 (A)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
等式システムに基づく計算モデルとして項書換え系TRS(Ter...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,...
分類 (2件):
分類
JSTが定めた文献の分類名称とコードです
計算理論  ,  人工知能 
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る