Computer aided proofs in analysis

other_versions_link
מידע ביבליוגרפי
מחברים אחרים: Meyer, Kenneth R (Editor)
פורמט: Printed Book
יצא לאור: Springer-Verlag, New York 1990
נושאים:
Computer science

פריטים דומים