LIBROS DEL AUTOR: roman studer

2 resultados para LIBROS DEL AUTOR: roman studer

roman studer Eliminar filtro Quitar filtros
  • Logics of Proofs and Justifications
    Roman Kuznets / Thomas Studer
    Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved ben...
    Disponible

    25,40 €

  • The Great Divergence Reconsidered
    Roman Studer
    ...
    Disponible

    38,25 €