Books listed by ISBN
>
Springer
> M. Schmidt-Schauss
M. Schmidt-Schauss
title
ISBN-13
(ISBN-10)
year of publication
Computational Aspects of an Order-Sorted Logic With Term Declarations
978-O-387-517O5-6
(O-387-517O5-7)
1990
M S.
·
M.S.S.
·
M. Schmidt
·
Manfred Schmidt-Schauß
·
S S
M.,Schmiedel, V. Augustin