Knuth-Bendix の完備化手続きとその応用
書誌事項
- タイトル別名
-
- Knuth-Bendix Algorithm and It's Applications.
この論文をさがす
収録刊行物
-
- コンピュータソフトウェア
-
コンピュータソフトウェア 4 (1), 2-22, 1987
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1574231877116863360
-
- NII論文ID
- 110003743432
-
- NII書誌ID
- AN10075819
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles
