Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens / von Bernhard Beckert
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: 1998Beschreibung: XII, 216 SGenre/Form: Bearbeitungsvermerk:- 1
- Archivierung/Langzeitarchivierung gewährleistet DISS
| Medientyp | Heimatbibliothek | Standort | Signatur | Exemplarnummer | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 2000 DA 68 | Verfügbar | 09042909626 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2000 DA 68 | ;b | Verfügbar | 09042909580 | |
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2000 DA 68 | ;c | Verfügbar | 09042909546 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90