LIBROS DEL AUTOR: maria paola bonacina

1 resultados para LIBROS DEL AUTOR: maria paola bonacina

maria paola bonacina Eliminar filtro Quitar filtros
  • Automated Deduction -- CADE-24
    Maria Paola Bonacina
    This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction,...
    Disponible

    65,37 €