Search results 17
Paper図書
National Diet Library
- Subject Heading関数論理型言語 オ-プンコンピユ-テイング 分散協調制約解決 CORBA
Paper図書
National Diet Library
- Subject Heading関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Math...
Paper図書
National Diet Library
- Subject Headingプロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論理型言語 高階ナロ-イング
Paper図書
National Diet Library
- Subject Headingデータ並列 リフレクシヨン SPMD MIMD SIMD 並列論理型言語 並列計算
Paper図書
National Diet Library
- Subject Headingプログラム変換 部分計算 並行プロセス π計算 並行論理型言語 CSP 並行化 true concurroncy
Paper図書
National Diet Library
- Subject Heading並列論理型言語 ビジユアルプログラミング 視覚化 グラフ描画アルゴリズム ...
Paper図書
National Diet Library
- Subject Headingオブジエクト 自然言語処理 学習 プログラム言語 制約論理型言語
Paper図書
National Diet Library
- Subject Heading論理型言語 関数型言語 データフロー 意味論 代数的操作 導出演繹
Paper図書
National Diet Library
- Subject Heading条件付き換え系 宣言型プロクラミング 関数・論理型言語 ナローイング 階層合流性 モジユラー性 プログラム意味論
Paper図書
National Diet Library
- Subject Heading高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理型言語 類推 推論機構
Paper図書
National Diet Library
- Subject Headingクラス束縛変数 タイプ付prolog 継承階層 制約付変数 多重継承 論理プログラミング 制約論理型言語
Paper図書
National Diet Library
- Subject Heading並列処理計算機 並列処理 論理型言語 リダクシヨン・マシン グラフ・リダクシヨン
Paper図書
National Diet Library
- Subject Heading知識処理 並列処理 記号処理 推論マシン 論理型言語 知識ベース データベースマシン 関係データベース
Paper図書
National Diet Library
- Subject Heading知識工学 述語論理型言語 流出解析 メシユタンクモデル 送水波 非定常流解析 流域的...
Digital博士論文
Other Libraries in Japan
- Subject Headingアーキテクチャ・スタイル 分散処理モデル 分散処理システム 論理型言語 プロダクトセット ソフトウェア・アーキテクチャ ソフトウェ...
Reached to the end of result.