Manfred Schmidt-Schau??

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Computational Aspects of an Order-Sorted Logic with Term Declarations978-3-54O-517O5-4
(3-54O-517O5-7)
2008

M S. · M.S.S. · M. Schmidt · Manfred Schmidt · S S

Manfred Schmidt-Schauß