> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Computational aspects of an order-sorted logic with term declarations Beteiligte: Schmidt-Schauß, Manfred [VerfasserIn] Erschienen: Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989 Erschienen in: Lecture notes in computer science ; 395 Umfang: VIII, 171 S; graph. Darst Sprache: Englisch ISBN: 3540517057; 0387517057 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Unifikationstheorie > Ordnungssortierte Logik Entstehung: Hochschulschrift: Zugl.: Kaiserslautern, Univ., Diss. : 1988 Anmerkungen: Literaturverz. S. [156] - 166 Weitere Bestandsnachweise 0 : Lecture notes in computer science
Zentralbibliothek – Magazin Signatur: 0792 01170 001 Barcode: 10064616 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden