Media type: Book Title: Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen : mit 39 Abbildungen Contributor: Avenhaus, Jürgen [VerfasserIn] imprint: Berlin; Heidelberg; New York: Springer, 1995 Published in: Springer-Lehrbuch Extent: X, 251 Seiten; Diagramme; 24 cm Language: German ISBN: 3540585591 RVK notation: ST 130 : Allgemeines ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Reduktionssystem Reduktionssystem Origination: Footnote: Literaturverzeichnis: Seiten 227-251
Departmental Library DrePunct – stack Shelf-mark: 95 8 75365 003 Item ID: 30081536 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.