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

Ejemplares similares

Ejemplares similares