Automated deduction - CADE 26 /
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Procedimiento de la Conferencia Libro |
| Lenguaje: | English |
| Publicado: |
Cham, Suiza :
Springer,
2017.
|
| Edición: | 1 edición |
| Materias: |
| Notas: | Base de Datos SPRINGER |
|---|---|
| Descripción Física: | 1 recurso en línea : ilustraciones, gráficos. |
| Bibliografía: | Referencias. |
| ISBN: | 9783319630465 |