Salta al contenuto
VuFind
Lingua
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
हिंदी
Tutti i Campi
Titolo
Autore
Soggetto
Collocazione
ISBN/ISSN
Tag
Cerca
Avanzata
Computer aided proofs in analy...
Citazione
Invia email
Stampa
Esporta il record
Esporta a RefWorks
Esporta a EndNoteWeb
Esporta a EndNote
permanent_link
Caricamento...
Computer aided proofs in analysis
other_versions_link
Dettagli Bibliografici
Altri autori:
Meyer, Kenneth R
(Redattore)
Natura:
Printed Book
Pubblicazione:
Springer-Verlag, New York
1990
Soggetti:
Computer science
Posseduto
Descrizione
other_versions_title
Documenti analoghi
MARC21
Mostra
1 - 1
risultati su
1
other_versions_search_link
Search Result 1
Caricamento...
Computer aided proofs in analysis/
di
Meyer, Kenneth R
Pubblicazione 1990
Collocazione:
Caricamento...
Localizzazione:
Caricamento...
Printed Book
Caricamento...
other_versions_search_link
Documenti analoghi
Computer aided proofs in analysis/
di: Meyer, Kenneth R
Pubblicazione: (1990)
Proofs and computations /
di: Schwichtenberg, Helmut, et al.
Pubblicazione: (2012)
Handbook of logic and proof techniques for computer science
di: karntz, Steven G
Pubblicazione: (2002)
Computer aided management /
di: Sanjeev Gupta .
Pubblicazione: (2007)
Discrete mathematics : proofs, structures and applications
di: Garnier, Rowan
Pubblicazione: (2010)
Caricamento...