Media type: Book; Thesis Title: Automatisierung von Terminierungsbeweisen Contributor: Walther, Christoph [Author] imprint: Wiesbaden: Vieweg, 1991 Published in: Artificial intelligence Extent: IX, 253 S. Language: German ISBN: 3528047712 RVK notation: ST 140 : Semantik von Programmiersprachen Keywords: Algorithmus > Terminierung > Automatisches Beweisverfahren Origination: University thesis: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1990 u.d.T.: Walther, Christoph: A many sorted calculus based on resolution and paramodulation Footnote:
Departmental Library DrePunct – stack Shelf-mark: 94 8 05613 001 Item ID: 10015653 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order