LIBROS DEL AUTOR: christian prehofer

1 resultados para LIBROS DEL AUTOR: christian prehofer

christian prehofer Eliminar filtro Quitar filtros
  • Solving Higher-Order Equations
    Christian Prehofer
    This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica­ tions, higher-order logic provides the necessary level of abstraction for con­ cise and natural formulations. The main asse...
    Disponible

    134,34 €