The logical basis for computer programming / Zohar Manna, Richard Waldinger
(Addison-Wesley series in computer science)
| データ種別 | 図書 |
|---|---|
| 出版情報 | Reading, Mass. ; Tokyo : Addison-Wesley , 1985-1990 |
| 本文言語 | 英語 |
| 大きさ | 2 v. ill. ; 25 cm |
目次／あらすじ
書誌詳細を非表示
| 一般注記 | v. 1 Deductive reasoning. - v. 2 Deductive systems. - Includes index |
|---|---|
| 著者標目 | Zohar Manna Richard Waldinger. |
| 書誌ID | TT20013130 |
| ISBN | 0201182602 |
| NCID | BA0001444X |
この資料の利用統計
このページへのアクセス回数：6回