Principles of automated theorem proving / David A. Duffy
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Wiley professional computingVerlag: Chichester [u.a.] : Wiley, 1991Beschreibung: XVIII, 243 SISBN:- 0471927848
- QA76.9.A96
- 3
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 4012 | Verfügbar | 45810541090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20221111 DE-640 3 pdager