Automated reasoning : 6th International joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (I...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | eBook |
| Idioma: | English |
| Publicat: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012.
|
| Col·lecció: | Lecture Notes in Computer Science
7364 |
| Matèries: | |
| Accés en línia: | Click here to view the full text content |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Sistema fora de servei per tasques de manteniment
El catàleg està fora de servei temporalment per tasques de manteniment
La informació de disponibilitat dels exemplars no està disponible en aquests moments, sentim les inconveniències: