LIBROS DEL AUTOR: peter padawitz

2 resultados para LIBROS DEL AUTOR: peter padawitz

peter padawitz Eliminar filtro Quitar filtros
  • Computing in Horn Clause Theories
    Peter Padawitz
    At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between functional and relational views, deductive and denotational...
    Disponible

    66,04 €

  • Deductive and Declarative Programming
    P. Padawitz / Peter Padawitz / PPadawitz
    ...
    Disponible

    71,24 €