Universal unification and a classification of equational theories / J. Siekmann, P. Szabo
Contributor(s): Resource type: Ressourcentyp: BuchBookSeries: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 82,07Publisher: Karlsruhe, 1982Description: 26 SAction note:- 3
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(23452) | Not for loan | 000697444090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 3 pdager