著者典拠情報

標目形：
Chang, Chin-Liang, 1937-
属性：
Personal
日付：
1937
から見よ参照形：
Чень, Ч.
Chenʹ, Ch.
注記：
Old catalog heading: Chang, Chin-liang, 1937-
His Introduction to artificial intelligence techniques, c1985: t.p. (Chin-Liang Chang) p. 4 of cover (manager of Software Technology, World Information Systems Enterprises, Inc., Austin, Tex.)
LC data base, 7/30/85 (hdg.: Chang, Chin-liang, 1937-; usage: Chin-liang Chang)
EDSRC:Fuzzy-logic-based programming / Chin-Liang Chang(Worlfd scientific, c1997)
著者典拠ID：
DA00914979


1.

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

図書
図書
2. Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…