LIBROS DEL AUTOR: neil v murray

1 resultados para LIBROS DEL AUTOR: neil v murray

neil v murray Eliminar filtro Quitar filtros
  • Automated Reasoning with Analytic Tableaux and Related Methods
    Neil V. Murray
    ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX’99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near ...
    Disponible

    66,04 €