Custom cover image
Principles of automated theorem proving / David A. Duffy
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Wiley professional computingPublisher: Chichester [u.a.] : Wiley, 1991Description: XVIII, 243 SISBN:- 0471927848
- QA76.9.A96
- 3
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 4012 | Available | 45810541090 |
Total holds: 0
Archivierung prüfen 20221111 DE-640 3 pdager