LIBROS DEL AUTOR: a szalas

1 resultados para LIBROS DEL AUTOR: a szalas

a szalas Eliminar filtro Quitar filtros
  • Second Order Quantifier Elimination
    A. Szalas / ASzalas / D. M. Gabbay / DMGabbay / R. Schmidt / RSchmidt
    In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between:* the need for a representational...
    Disponible

    41,78 €