Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme / Karsten Homann
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Dissertationen zur künstlichen Intelligenz ; 152Publisher: Sankt Augustin : Infix, 1997Description: XVI, 185 S. : graph. DarstISBN:- 3896011529
- 2
- Archivierung/Langzeitarchivierung gewährleistet DISS
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 97 DA 78 | Available | 41312264 | |||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 97 DA 78 | ;c | Available | 45815933090 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 97 DA 78 | ;b | Available | 40967768 | ||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Hom | Bibliothek / frei aufgestellt | D.Hom(22660) | Available | 000311320090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 2 pdager
Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90