Preskoči na sadržaj
VuFind
Jezik
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
हिंदी
Sva polja
Naslov
Autor
Tema
Signatura
ISBN/ISSN
Oznaka
Nađi
Napredno
Computer aided proofs in analy...
Citiraj ovo
Pošalji ovo e-poštom
Ispiši
Izvezi zapis
Izvezi u RefWorks
Izvezi u EndNoteWeb
Izvezi u EndNote
permanent_link
Učitavanje...
Computer aided proofs in analysis
other_versions_link
Bibliografski detalji
Daljnji autori:
Meyer, Kenneth R
(Urednik)
Format:
Printed Book
Izdano:
Springer-Verlag, New York
1990
Teme:
Computer science
Primjerci
Opis
other_versions_title
Similar Items
Prikaz za djelatnike knjižnice
Similar Items
Computer aided proofs in analysis/
od: Meyer, Kenneth R
Izdano: (1990)
Proofs and computations /
od: Schwichtenberg, Helmut, i dr.
Izdano: (2012)
Handbook of logic and proof techniques for computer science
od: karntz, Steven G
Izdano: (2002)
Computer aided management /
od: Sanjeev Gupta .
Izdano: (2007)
Discrete mathematics : proofs, structures and applications
od: Garnier, Rowan
Izdano: (2010)
Učitavanje...