LIBROS DEL AUTOR: helmut schwichtenberg

2 resultados para LIBROS DEL AUTOR: helmut schwichtenberg

helmut schwichtenberg Eliminar filtro Quitar filtros
  • Logic of Computation
    Helmut Schwichtenberg
    The Marktoberdorf Summer School 1995 ’Logic of Computation’ was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects ...
    Disponible

    65,70 €

  • Proof and Computation
    Helmut Schwichtenberg
    Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of...
    Disponible

    132,98 €