1.

図書
図書
1. コンピュータによる定理の証明
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
出版情報: 東京 : 日本コンピュータ協会, 1983.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
所蔵情報: loading…
2.

図書
図書
2. 知識処理論
萩野達也著
出版情報: 東京 : 産業図書, 1995.6
シリーズ名: 知識・情報・メディア/シリーズ
所蔵情報: loading…