Anar al contingut
VuFind
Idioma
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
हिंदी
Tots els camps
Títol
Autor
Matèria
Signatura
ISBN/ISSN
Etiqueta
Trobar
Avançada
Cerca
Computer aided proofs in analy...
Citar
Enviar per correu electrònic aquest
Imprimir
Exportar registre
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
permanent_link
Carregant...
Computer aided proofs in analysis
other_versions_link
Dades bibliogràfiques
Altres autors:
Meyer, Kenneth R
(Editor)
Format:
Printed Book
Publicat:
Springer-Verlag, New York
1990
Matèries:
Computer science
Fons
Descripció
other_versions_title
Ítems similars
Visualització del personal
Mostrar
1 - 1
resultats de
1
other_versions_search_link
Search Result 1
Carregant...
Computer aided proofs in analysis/
per
Meyer, Kenneth R
Publicat 1990
Signatura:
Carregant...
Localitzat:
Carregant...
Printed Book
Carregant...
other_versions_search_link
Ítems similars
Computer aided proofs in analysis/
per: Meyer, Kenneth R
Publicat: (1990)
Proofs and computations /
per: Schwichtenberg, Helmut, et al.
Publicat: (2012)
Handbook of logic and proof techniques for computer science
per: karntz, Steven G
Publicat: (2002)
Computer aided management /
per: Sanjeev Gupta .
Publicat: (2007)
Discrete mathematics : proofs, structures and applications
per: Garnier, Rowan
Publicat: (2010)
Carregant...