Bücher nach ISBN > Springer > Smith, Jan

Smith, Jan

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers978-3-54O-6O579-9
(3-54O-6O579-7)		1995Peter Dybjer

Jan Smith · S.J. · Smith-J

Smith Jane