LIBROS DEL AUTOR: deepak kapur

1 resultados para LIBROS DEL AUTOR: deepak kapur

deepak kapur Eliminar filtro Quitar filtros
  • Automated Deduction - CADE-11
    Deepak Kapur
    This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural de...
    Disponible

    131,42 €