Computations in Higher Types (Lecture Notes in Mathematics, Band 574)
von
Johan Moldestad
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-08132-6
ISBN-10: 3-540-08132-1
Springer
· 2009
Siehe auch:
1977
Unknown Binding
Computations in higher types (Lecture notes in mathematics ; 574)