J-GLOBALについて

ENGLISH

文字サイズ
  • 小
  • 大

文献の詳細情報

文献J-GLOBAL ID:200902015582239621整理番号:93A0182295

Parallel Process Synthesis form Proofs on Logic .MU..

論理μ上の証明からの並列プロセス合成

著者:KAWATA H(Inst. New Generation Computer Technology, Tokyo, JPN)、SATO Y(Inst. New Generation Computer Technology, Tokyo, JPN)、FUJITA M(Inst. New Generation Computer Technology, Tokyo, JPN)
資料名:ICOT研究論文 TR- 号:802 ページ:41P
発行年:1992年09月
  • J-GLOBALホームを見る
  • J-GLOBALをブックマークする

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

J-GLOBALについて

情報がつながる

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

発想がひろがる

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

アイディアがひらめく

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