学術情報システムと大学図書館
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 1988-10-14
著者
関連論文
- Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論)
- 二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論)
- プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
- 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)
- 大学教育におけるORの活用(これからのOR)
- 多ソート部分的代数に対する等式推論規則 (形式言語理論とオートマトン理論)
- 学術情報システムと大学図書館
- 地域と大学