記錄 2 之 2
Record:   Prev Next
作者 Chang, Chin-Liang, 1937-
書名 Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
出版項 Boston : Academic Press, 1987, c1973
國際標準書號 0121703509 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9 C483 1987    在架上    30340200209538
 資訊所圖書室圖書區  I2.3 C4565    在架上    30330000022900
記錄 2 之 2
Record:   Prev Next