Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings

Detalles Bibliográficos
Autores principales: Jouannaud, Jean-Pierre, Shao, Zhong
Lenguaje:eng
Publicado: Springer 2011
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757880
_version_ 1780970040111136768
author Jouannaud, Jean-Pierre
Shao, Zhong
author_facet Jouannaud, Jean-Pierre
Shao, Zhong
author_sort Jouannaud, Jean-Pierre
collection CERN
id cern-2757880
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2011
publisher Springer
record_format invenio
spelling cern-27578802021-04-21T16:40:54Zhttp://cds.cern.ch/record/2757880engJouannaud, Jean-PierreShao, ZhongCertified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedingsXXSpringeroai:cds.cern.ch:27578802011
spellingShingle XX
Jouannaud, Jean-Pierre
Shao, Zhong
Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings
title Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings
title_full Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings
title_fullStr Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings
title_full_unstemmed Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings
title_short Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings
title_sort certified programs and proofs: first international conference, cpp 2011, kenting, taiwan, december 7-9, 2011, proceedings
topic XX
url http://cds.cern.ch/record/2757880
work_keys_str_mv AT jouannaudjeanpierre certifiedprogramsandproofsfirstinternationalconferencecpp2011kentingtaiwandecember792011proceedings
AT shaozhong certifiedprogramsandproofsfirstinternationalconferencecpp2011kentingtaiwandecember792011proceedings

Ejemplares similares