検索結果 3 件
デジタル記事
インターネットで読める全国の図書館
- 標準番号（その他）https://hdl.handle.net/2324/25303
- 件名software development relational calculus repository technology graph transformation
デジタル記事
インターネットで読める全国の図書館
- 件名software development relational calculus repository technology graph transformation
- 関連情報Proc. of the 5th RelMiCS (Seminar on Relational Methods in Computer Science) || p203-209
デジタル文書・図像類
全国の図書館
- 件名Graph rewritings Relational calculus Formal methods Information models
検索結果は以上です。