LIBROS DEL AUTOR: jean goubault larrecq

1 resultados para LIBROS DEL AUTOR: jean goubault larrecq

jean goubault larrecq Eliminar filtro Quitar filtros
  • Proof Theory and Automated Deduction
    Ian MacKie / J. Goubault-Larrecq / Jean Goubault-Larrecq
    The last twenty years have witnessed an accelerated development of pure and ap­ plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A new attitude to appl...
    Disponible

    65,56 €