Custom cover image
Automated theorem proving : a logical basis / Donald W. Loveland
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Fundamental studies in computer science ; 6Publisher: Amsterdam [u.a.] : North-Holland Publ. Co., 1978Description: XIII, 405 SISBN:- 0720404991
- 001.53/5
- 511.30285
- QA76.9.A96
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 78 A 772 | Available | 48639812090 |
Total holds: 0