Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
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
हिंदी
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Computer aided proofs in analy...
Εμφάνιση παραπομπής
Αποστολή με email
Εκτύπωση
Αποθήκευση
Αποθήκευση σε RefWorks
Αποθήκευση σε EndNoteWeb
Αποθήκευση σε EndNote
permanent_link
Φορτώνει......
Computer aided proofs in analysis
other_versions_link
Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:
Meyer, Kenneth R
(Επιμελητής έκδοσης)
Μορφή:
Printed Book
Έκδοση:
Springer-Verlag, New York
1990
Θέματα:
Computer science
Τεκμήρια
Περιγραφή
other_versions_title
Παρόμοια τεκμήρια
Λεπτομερής προβολή
Παρόμοια τεκμήρια
Computer aided proofs in analysis/
ανά: Meyer, Kenneth R
Έκδοση: (1990)
Proofs and computations /
ανά: Schwichtenberg, Helmut, κ.ά.
Έκδοση: (2012)
Handbook of logic and proof techniques for computer science
ανά: karntz, Steven G
Έκδοση: (2002)
Computer aided management /
ανά: Sanjeev Gupta .
Έκδοση: (2007)
Discrete mathematics : proofs, structures and applications
ανά: Garnier, Rowan
Έκδοση: (2010)
Φορτώνει......