Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens / von Bernhard Beckert
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1998Description: XII, 216 SGenre/Form: Action note:- 1
| Item type | Home library | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 2000 DA 68 | Available | 09042909626 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2000 DA 68 | ;b | Available | 09042909580 | |
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2000 DA 68 | ;c | Available | 09042909546 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 1 pdager