Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

3 0 0 0 IR Knuth-Bendixの完備化手続きとその応用

著者
坂井 公 Ko Sakai 新世代コンピュータ技術開発機構
雑誌
コンピュータソフトウェア = Computer software (ISSN:02896540)
巻号頁・発行日
vol.4, no.1, pp.2-22, 1987-01-14
被引用文献数
5

言及状況

Twitter (2 users, 2 posts, 4 favorites)

やっと、ちゃんと書いてるわかりやすい解説見つけた Knuth − Bendix の完備化手続きとその応用 https://t.co/2gq8icsURF
1 @ahuglajbclajep
4 @ahuglajbclajep @cnblgd @khibino @yksym_t

Wikipedia (1 pages, 2 posts, 2 contributors)

編集者: Bcxfubot
編集者: Phw
2020-10-16 05:07:10 の編集で削除されたか、リンク先が変更された可能性があります。

収集済み URL リスト