LIBROS DEL AUTOR: torben brauner

1 resultados para LIBROS DEL AUTOR: torben brauner

torben brauner Eliminar filtro Quitar filtros
  • Hybrid Logic and its Proof-Theory
    Torben Braüner
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often want...
    Disponible

    134,13 €