Búsqueda de LIBROS DEL AUTOR: christoph walther

1 resultados

christoph walther Eliminar filtro Quitar filtros
  • A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION
    ebook
    A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION
    CHRISTOPH WALTHER
    A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit ...

    $425.00

    Ver detalle