Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /

Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /

Detalles Bibliográficos
Formato: Libro
Publicado: c2018.
Acceso en línea:Ver documento en línea
Descripción
ISBN:9783319942056

Ejemplares similares