検索結果 15 件
紙図書
国立国会図書館
- 件名2流体問題 / 非圧縮性 / immiscible / Navier-Stokes方程式 / フラックス汎関数 / ラグランジュ乗数 / 質量保存性 / 有限要素法
紙図書
国立国会図書館
- 件名項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備化手続き 定理の自動証明 単一化 深さ保存性 拡張危険対の完備化
紙図書
国立国会図書館
- 件名項書き換えシステム 左線形TRS 合流性 Church-Rosser 完備化手続き 非線形TRS 強重なり性 重さ保存性
紙図書
国立国会図書館
- 件名モンテカルロシミユレーシヨン 凹閉面室内空間 三次元的照度分布表示 相互反射 光束保存性 非対称配光曲線 複雑な反射特性 空間光束密度
検索結果は以上です。