@BOOK{ Book!D - 95025093,
AUTHOR = "Kenneth R. Meyer, Dieter S. Schmidt, editors",
TITLE = "Computer aided proofs in analysis",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "Data processing - Congresses ، Numerical analysis",
URL = "/book/95025093/Computer-aided-proofs-in-analysis/"}