Bücher nach ISBN > Springer > Manfred Schmidt-Schauß

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)		1989

M S. · M.S.S. · M. Schmidt · M. Schmidt-Schauss · Manfred Schmidt · S S

Manfred Schmiemann