Cargando…

Thirty five years of automating mathematics

Detalles Bibliográficos
Autor principal: Kamareddine, Fairouz
Lenguaje:eng
Publicado: Springer 2003
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-94-017-0253-9
http://cds.cern.ch/record/1620673
_version_ 1780933146643005440
author Kamareddine, Fairouz
author_facet Kamareddine, Fairouz
author_sort Kamareddine, Fairouz
collection CERN
id cern-1620673
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2003
publisher Springer
record_format invenio
spelling cern-16206732021-04-21T21:52:20Zdoi:10.1007/978-94-017-0253-9http://cds.cern.ch/record/1620673engKamareddine, FairouzThirty five years of automating mathematicsMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16206732003
spellingShingle Mathematical Physics and Mathematics
Kamareddine, Fairouz
Thirty five years of automating mathematics
title Thirty five years of automating mathematics
title_full Thirty five years of automating mathematics
title_fullStr Thirty five years of automating mathematics
title_full_unstemmed Thirty five years of automating mathematics
title_short Thirty five years of automating mathematics
title_sort thirty five years of automating mathematics
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-94-017-0253-9
http://cds.cern.ch/record/1620673
work_keys_str_mv AT kamareddinefairouz thirtyfiveyearsofautomatingmathematics