> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: A completion procedure for generating ground confluent term rewriting systems Beteiligte: Göbel, Richard [Verfasser:in] Erschienen: 1988 Umfang: 192 S. Sprache: Englisch Schlagwörter: Termersetzungssystem Termersetzungssystem > Knuth-Bendix-Vervollständigungsprozedur Knuth-Bendix-Vervollständigungsprozedur Künstliche Intelligenz > Knuth-Bendix-Vervollständigungsprozedur Entstehung: Hochschulschrift: Kaiserslautern, Univ., Diss., 1988 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 0890 80810 001 Barcode: 30806316 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung