Resultados da busca - Norbert Preining

  • Mostrando 1 - 1 resultados de 1
Refinar Resultados
Lista   Grid  
  1. 1

    Semantics, Specification Logic, and Hoare Logic of Exact Real Computation por Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, Martin Ziegler

    Publicado em 2024-06-01
    Obter o texto integral
    Artigo
    Salvar na lista
    Na minha lista:

Ferramentas de busca: