LIBROS DEL AUTOR: r e shostak

1 resultados para LIBROS DEL AUTOR: r e shostak

r e shostak Eliminar filtro Quitar filtros
  • 7th International Conference on Automated Deduction
    R. E. Shostak
    The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, log...
    Disponible

    132,83 €