Cargando…

Propositional proofs via combinatorial geometry and the search for symmetry

Detalles Bibliográficos
Autores principales: Carbone, A, Semmes, S
Lenguaje:eng
Publicado: 1996
Materias:
Acceso en línea:http://cds.cern.ch/record/315863
_version_ 1780890370039611392
author Carbone, A
Semmes, S
author_facet Carbone, A
Semmes, S
author_sort Carbone, A
collection CERN
id cern-315863
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1996
record_format invenio
spelling cern-3158632019-09-30T06:29:59Zhttp://cds.cern.ch/record/315863engCarbone, ASemmes, SPropositional proofs via combinatorial geometry and the search for symmetryMathematical Physics and MathematicsIHES-M-96-64oai:cds.cern.ch:3158631996
spellingShingle Mathematical Physics and Mathematics
Carbone, A
Semmes, S
Propositional proofs via combinatorial geometry and the search for symmetry
title Propositional proofs via combinatorial geometry and the search for symmetry
title_full Propositional proofs via combinatorial geometry and the search for symmetry
title_fullStr Propositional proofs via combinatorial geometry and the search for symmetry
title_full_unstemmed Propositional proofs via combinatorial geometry and the search for symmetry
title_short Propositional proofs via combinatorial geometry and the search for symmetry
title_sort propositional proofs via combinatorial geometry and the search for symmetry
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/315863
work_keys_str_mv AT carbonea propositionalproofsviacombinatorialgeometryandthesearchforsymmetry
AT semmess propositionalproofsviacombinatorialgeometryandthesearchforsymmetry