Chuyển đến nội dung
VuFind
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tất cả các trường
Tiêu đề
Tác giả
Chủ đề
Số hiệu
số ISBN/ISSN
Nhãn
Tìm kiếm
Nâng cao
Computer aided proofs in analy...
Trích dẫn điều này
Email này
In
Xuất bản ghi
Xuất tới RefWorks
Xuất tới EndNoteWeb
Xuất tới EndNote
permanent_link
Đang tải...
Computer aided proofs in analysis
other_versions_link
Chi tiết về thư mục
Tác giả khác:
Meyer, Kenneth R
(Biên tập viên)
Định dạng:
Printed Book
Được phát hành:
Springer-Verlag, New York
1990
Những chủ đề:
Computer science
Đang giữ
Miêu tả
other_versions_title
Những quyển sách tương tự
Chế độ xem nhân viên
Những quyển sách tương tự
Computer aided proofs in analysis/
Bằng: Meyer, Kenneth R
Được phát hành: (1990)
Proofs and computations /
Bằng: Schwichtenberg, Helmut, et al.
Được phát hành: (2012)
Handbook of logic and proof techniques for computer science
Bằng: karntz, Steven G
Được phát hành: (2002)
Computer aided management /
Bằng: Sanjeev Gupta .
Được phát hành: (2007)
Discrete mathematics : proofs, structures and applications
Bằng: Garnier, Rowan
Được phát hành: (2010)
Đang tải...