コンピュータ ソフトウェア
Print ISSN : 0289-6540
Knuth-Bendixの完備化手続きとその応用
坂井 公
著者情報
ジャーナル フリー

1987 年 4 巻 1 号 p. 1_2-1_22

詳細
抄録

著者関連情報
© 1987, 日本ソフトウェア科学会
前の記事 次の記事
feedback
Top