Search results 5
Paper図書
National Diet Library
- Subject Heading関数論理型言語 オ-プンコンピユ-テイング 分散協調制約解決 CORBA
Paper図書
National Diet Library
- Subject Headingプロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論理型言語 高階ナロ-イング
Paper図書
National Diet Library
- Subject Heading関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Math...
Paper図書
National Diet Library
- Subject Heading条件付き換え系 宣言型プロクラミング 関数・論理型言語 ナローイング 階層合流性 モジユラー性 プログラム意味論
Reached to the end of result.