Format:
VIII, 171 S
,
graph. Darst.
ISBN:
3540517057
,
0387517057
Series Statement:
Lecture notes in computer science 395
Note:
Literaturverz. S. [156] - 166
,
Zugl.: Kaiserslautern, Univ., Diss. : 1988
Additional Edition:
Online-Ausg. Schmidt-Schauß, Manfred Computational aspects of an order-sorted logic with term declarations Berlin [u.a.] : Springer, 1989 ISBN 9783540467748
Additional Edition:
Erscheint auch als Online-Ausgabe Schmidt-Schauß, Manfred Computational Aspects of an Order-Sorted Logic with Term Declarations Berlin, Heidelberg : Springer Berlin Heidelberg, 1989 ISBN 9783540467748
Language:
English
Subjects:
Computer Science
Keywords:
Unifikationstheorie
;
Ordnungssortierte Logik
;
Hochschulschrift