Computer aided proofs in analysis

other_versions_link
التفاصيل البيبلوغرافية
مؤلفون آخرون: Meyer, Kenneth R (المحرر)
التنسيق: Printed Book
منشور في: Springer-Verlag, New York 1990
الموضوعات:
Computer science

مواد مشابهة