Jump to main content

yr 〜
yr

Search results 5

等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング

等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
Paper図書
井田, 哲雄, 筑波大学2000-2002<Y151-H12480066>
National Diet Library
  • Subject Heading関数論理型言語 オ-プンコンピユ-テイング 分散協調制約解決 CORBA

分散制約解消系を融合する関数論理型プログラミング

分散制約解消系を融合する関数論理型プログラミング
Paper図書
井田, 哲雄, 筑波大学1998-1998<Y151-H10480053>
National Diet Library
  • Subject Heading関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Math...

抽象高階書換え系によるプロセス計算系の定式化に関する研究

抽象高階書換え系によるプロセス計算系の定式化に関する研究
Paper図書
鈴木, 大郎, 会津大学2001-2002<Y151-H13680388>
National Diet Library
  • Subject Headingプロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論理型言語 高階ナロ-イング

高階関数・論理的プログラムの計算モデル

高階関数・論理的プログラムの計算モデル
Paper図書
井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>
National Diet Library

条件付き書換え系の宣言型プログラミングへの応用

条件付き書換え系の宣言型プログラミングへの応用
Paper図書
井田, 哲雄, 筑波大学1994-1995<Y151-H06680300>
National Diet Library

Reached to the end of result.

RSS