---

＜図書＞
Symbolic logic and mechanical theorem proving / {by} Chin-liang Chang {and} Richard Char-Tung Lee.
(Computer science and applied mathematics)

出版者	New York : Academic Press
出版年	{1973}
大きさ	xiii, 331 p. illus. 24 cm.
著者標目	Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939-
件　名	Logic, Symbolic and mathematical Automatic theorem proving Artificial intelligence
一般注記	Bibliography: p. 309-324.

 類似資料