Mendeley出力
＜図書＞
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 | 1000913541 |
|---|---|
| NCID | BA01498217 |
| 登録日 | 2009.09.16 |
| 更新日 | 2009.09.16 |