奥居哲, 中部大学 [著][奥居哲]2004-2006<Y151-H16500014>
国立国会図書館
- 件名高階ナローイング / 不完全正則表現型 / XML文書の統合 / 文脈 / ...
井田, 哲雄, 筑波大学1998-1998<Y151-H10480053>
国立国会図書館
- 件名関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Mathematica
鈴木, 大郎, 会津大学2001-2002<Y151-H13680388>
国立国会図書館
- 件名プロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論理型言語 高階ナロ-イング
井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>
国立国会図書館
- 件名ナローイング 高階関数・論理型言語 計算モデル 条件付き項書換え系 完全...
井田, 哲雄, 筑波大学1995-1997<Y151-H07558152>
国立国会図書館
- 件名宣言型プログラミング マルチメデイア 関数論理融合型言語 ナローイング計算系 ヒユーマンインタフエース 分散環境 Mathemat...
井田, 哲雄, 筑波大学1994-1995<Y151-H06680300>
国立国会図書館
- 件名条件付き換え系 宣言型プロクラミング 関数・論理型言語 ナローイング 階層合流性 モジユラー性 プログラム意味論
井田, 哲雄, 筑波大学1991-1992<Y151-H03680022>
国立国会図書館
- 件名関数型プログラミング 論理的プログラミング 関数・論理型プログラミングの融合 ナローイング プログラム変換 Lisp Prolog
坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>
国立国会図書館
- 件名並行計算 関数型計算モデル CCS ブロードキヤスト ナローイング 並行プセス 項書換え系 動的項書換計算