Bücher nach ISBN
>
Springer
> Manfred Schmidt-Schau??
Manfred Schmidt-Schau??
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Computational Aspects of an Order-Sorted Logic with Term Declarations
978-3-54O-517O5-4
(3-54O-517O5-7)
2008
M S.
·
M.S.S.
·
M. Schmidt
·
Manfred Schmidt
·
S S
Manfred Schmidt-Schauß