ベクトル記号処理のためのデータ構造 「マルチ・ベクトル」 とその応用
金田 泰, 菅谷 正弘, ソフトウェア科学会 8 回大会, 1991.
[ English page ]
[ この論文の内容は博士論文にふくまれています．]
研究テーマ紹介: 論理 / 記号 ベクトル処理
金田 泰, 菅谷 正弘, ソフトウェア科学会 8 回大会, 1991.
[ English page ]
[ この論文の内容は博士論文にふくまれています．]
研究テーマ紹介: 論理 / 記号 ベクトル処理