同値律をみたす述語による関係データモデル従属性の一般化について (情報の記憶と利用に関する理論的研究)
スポンサーリンク
概要
著者
関連論文
- 行列の有理標準形の一計算法(数式処理と数学研究への応用)
- modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
- Euclid環上の因数分解およびGCDについて : 格子算法の応用
- グレブナー基底の並列計算と連立代数方程式
- ブール方程式による併存到達可能性解析 (情報の記憶と利用に関する理論的研究)
- 同値律をみたす述語による関係データモデル従属性の一般化について (情報の記憶と利用に関する理論的研究)
- PSI上の数式処理システムSAM