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

1 0 0 0 導出原理による定理証明

著者
佐藤 泰介
出版者
一般社団法人情報処理学会
雑誌
情報処理 (ISSN:04478053)
巻号頁・発行日
vol.22, no.11, pp.p1024-1036, 1981-11-15

言及状況

Wikipedia (1 pages, 2 posts, 2 contributors)

編集者: Bcxfubot
編集者: Phw
2020-06-29 02:21:08 の編集で削除されたか、リンク先が変更された可能性があります。

収集済み URL リスト