Cargando…
Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2757530 |
| _version_ | 1780969956887756800 |
|---|---|
| author | Felty, Amy P Middeldorp, Aart |
| author_facet | Felty, Amy P Middeldorp, Aart |
| author_sort | Felty, Amy P |
| collection | CERN |
| id | cern-2757530 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2015 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27575302021-04-21T16:41:12Zhttp://cds.cern.ch/record/2757530engFelty, Amy PMiddeldorp, AartAutomated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27575302015 |
| spellingShingle | XX Felty, Amy P Middeldorp, Aart Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings |
| title | Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings |
| title_full | Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings |
| title_fullStr | Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings |
| title_full_unstemmed | Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings |
| title_short | Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings |
| title_sort | automated deduction - cade-25: 25th international conference on automated deduction, berlin, germany, august 1-7, 2015, proceedings |
| topic | XX |
| url | http://cds.cern.ch/record/2757530 |
| work_keys_str_mv | AT feltyamyp automateddeductioncade2525thinternationalconferenceonautomateddeductionberlingermanyaugust172015proceedings AT middeldorpaart automateddeductioncade2525thinternationalconferenceonautomateddeductionberlingermanyaugust172015proceedings |