<図書>
Computer science classics
データ種別 | 図書 |
---|---|
出版者 | Boston : Academic Press |
子書誌情報を非表示
1 | Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee Boston ; Tokyo : Academic Press , 1987, c1973 |
書誌詳細を表示
本文言語 | 英語 |
---|---|
書誌ID | 1000003901 |
NCID | BA01498217 |