---

コンピュータによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
(コンピュータ・サイエンス研究書シリーズ ; 27)

データ種別	図書
出版者	東京 : 日本コンピュータ協会
出版年	1983.9
形態	346p ; 22cm
別書名	原タイトル:Symbolic logic and mechanical theorem proving
著者標目	Chang, Chin-Liang, 1937- Lee, Richard Char-Tung 長尾, 真(1936-) 辻井, 潤一
件　名	記号論理学 人工頭脳
分　類	NDC:549.92
書誌ID	LT00263074

 類似資料