Resultados da pesquisa - TOBIAS NIPKOW

  • A mostrar 1 - 3 resultados de 3
Refinar resultados
Lista   Grid  
  1. 1

    Interactive verification of Markov chains: Two distributed protocol case studies Por Johannes Hölzl, Tobias Nipkow

    Publicado em 2012-12-01
    Obter o texto integral
    Artigo
    Adic. favoritos
    Na minha lista:
  2. 2

    Verified Approximation Algorithms Por Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

    Publicado em 2022-03-01
    Obter o texto integral
    Artigo
    Adic. favoritos
    Na minha lista:
  3. 3

    A FORMAL PROOF OF THE KEPLER CONJECTURE Por THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER

    Publicado em 2017-01-01
    Obter o texto integral
    Artigo
    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: