Media type: Book; Thesis Title: Computational aspects of an order-sorted logic with term declarations Contributor: Schmidt-Schauß, Manfred [Author] imprint: Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989 Published in: Lecture notes in computer science ; 395 Extent: VIII, 171 S; graph. Darst Language: English ISBN: 3540517057; 0387517057 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Unifikationstheorie > Ordnungssortierte Logik Origination: University thesis: Zugl.: Kaiserslautern, Univ., Diss. : 1988 Footnote: Literaturverz. S. [156] - 166
Central Library – stack Shelf-mark: 0792 01170 001 Item ID: 10064616 Status: Loanable, place order > Ordering possible ‒ please log in