Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings

Detalles Bibliográficos
Autor principal: Fontaine, Pascal
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755238
Descripción
Descripción no disponible.

Ejemplares similares