Cargando…
Propositional proofs via combinatorial geometry and the search for symmetry
Autores principales: | , |
---|---|
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 |