Media type: E-Book Title: Computational Aspects of an Order-Sorted Logic with Term Declarations Contributor: Schmidt-Schauß, Manfred [Author] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1989 Published in: Lecture notes in computer science ; 395 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/BFb0024065 ISBN: 9783540467748 Identifier: RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation SS 4800 : Lecture notes in computer science Keywords: Unifikationstheorie > Ordnungssortierte Logik Origination: Footnote: