TType systems for computer algebraType systems for computer algebrade Andreas WeberEdiciones (1)Type systems for computer algebra (1993)inglésMás obras de Andreas WeberEr kann fliegen lassenEinführung in die InformatikEinführung in die Informatik