Symbolic logic and mechanical theorem proving / Chin-Liang Chang; Richard Char-Tung Lee
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Computer science classicsPublisher: San Diego [u.a.] : Academic Press, 1973Description: XIII, 331 S. : graph. DarstISBN:- 0121703509
- 511/.3
- 511.3
- QA9
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 74 A 310 | Available | 45604152090 |
Total holds: 0