LIBROS DEL AUTOR: mark e stickel

1 resultados para LIBROS DEL AUTOR: mark e stickel

mark e stickel Eliminar filtro Quitar filtros
  • 10th International Conference on Automated Deduction
    Mark E. Stickel
    This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in ...
    Disponible

    168,83 €