Jump to main content

yr 〜
yr

Search results 3

関係計算に基づくグラフ変換システムの基礎研究

関係計算に基づくグラフ変換システムの基礎研究
Paper図書
河原, 康雄, 九州大学1995-1997<Y151-H07680363>
National Diet Library
  • Subject Headingグラフ変換 グラフ文法 関係計算 関系代数 カテゴリー論 フアジイ集合 フアジイ関係 フアジイグラフ

カテゴリー論的計算機数学の総合的研究

カテゴリー論的計算機数学の総合的研究
Paper図書
河原康雄, 九州大学1996-1998<Y151-H08304017>
National Diet Library
  • Subject Headingカテゴリー論 計算機科学 計算論理学 関係計算 人工知能 プログラミング...

複雑系の構成論および計算論のための実験数学

複雑系の構成論および計算論のための実験数学
Paper図書
津田, 一郎, 北海道大学1995-1997<Y151-H07309017>
National Diet Library
  • Subject Heading高次元カオス力学系 脳のダイナミクス プログラム生態系 非線形微分方程式論 カテゴリー論 論理-力学系変換 内部観測 数理構造

Reached to the end of result.

RSS