J-GLOBALについて

ENGLISH

文字サイズ
  • 小
  • 大

文献の詳細情報

文献J-GLOBAL ID:200902015596535142整理番号:91A0366733

Decidable sentences for context-free groups.

文脈自由群に対する決定可能文

著者:MADLENER K(Univ. Kaiserslautern, Kaiserslautern)、OTTO F(Gesamthockschule Kassel, Kassel)
資料名:Lect Notes Comput Sci 巻:480 ページ:160-171
発行年:1991年
  • J-GLOBALホームを見る
  • J-GLOBALをブックマークする

J-GLOBALでつながる、ひろがる、ひらめく

J-GLOBALについて

情報がつながる

J-GLOBALでは研究開発でキーとなる情報をつないでいます。例えば、文献と特許を人(著者・発明者)でつなぎ、そのつながりから次々と情報を取り出せます。
新たな気付きや、今まで見つからなかった情報の発見に役立ちます。

発想がひろがる

着目した情報が、連携する外部サイトリンクや内容が近い情報が見つかる関連検索でひろがります。
異分野の知識獲得や専門分野を超えた発想を支援します。

アイディアがひらめく

つながる・ひろがるの繰り返しから、思わぬ問題解決のヒントや新たなアイディアがひらめくキッカケを提供します。