Media type: Book; Thesis Title: A completion procedure for generating ground confluent term rewriting systems Contributor: Göbel, Richard [Author] Published: 1988 Extent: 192 S. Language: English Keywords: Termersetzungssystem Termersetzungssystem > Knuth-Bendix-Vervollständigungsprozedur Knuth-Bendix-Vervollständigungsprozedur Künstliche Intelligenz > Knuth-Bendix-Vervollständigungsprozedur Origination: University thesis: Kaiserslautern, Univ., Diss., 1988 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0890 80810 001 Item ID: 30806316 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order