Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: Chin-Liang Chang Richard Char-Tung Lee (著者)
  3. 2件

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

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

1 0 0 0 Symbolic logic and mechanical theorem proving

著者
Chin-Liang Chang Richard Char-Tung Lee
出版者
Academic Press
巻号頁・発行日
1973