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

2 0 0 0 コンピュータによる定理の証明

著者
Chin-Liang Chang Richard Char-Tung Lee著 長尾真 辻井潤一訳
出版者
日本コンピュータ協会
巻号頁・発行日
1983

言及状況

Wikipedia (2 pages, 2 posts, 2 contributors)

編集者: Fukupow
編集者: Omotecho

収集済み URL リスト