International Workshop on Mathematics Mechanization

Detalles Bibliográficos
Lenguaje:eng
Publicado: 1992
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/240004
_version_ 1780884899683631104
collection CERN
id cern-240004
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1992
record_format invenio
spelling cern-2400042019-09-30T06:29:59Zhttp://cds.cern.ch/record/240004engInternational Workshop on Mathematics MechanizationMathematical Physics and Mathematicsoai:cds.cern.ch:2400041992
spellingShingle Mathematical Physics and Mathematics
International Workshop on Mathematics Mechanization
title International Workshop on Mathematics Mechanization
title_full International Workshop on Mathematics Mechanization
title_fullStr International Workshop on Mathematics Mechanization
title_full_unstemmed International Workshop on Mathematics Mechanization
title_short International Workshop on Mathematics Mechanization
title_sort international workshop on mathematics mechanization
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/240004

Ejemplares similares