Košík

  Odznačit vybrané:   0
  1. 1.
    0431139 - ÚI 2015 PL eng A - Abstrakt
    Franek, Peter - Krčál, M.
    Robust satisfiability of systems of equations.
    Applied Topology. Book of Abstracts. Poznan: Adam Mickiewicz University, 2013. s. 7-7.
    [Applied Topology. 21.07.2013-27.07.2013, Bedlewo]
    Institucionální podpora: RVO:67985807
    Klíčová slova: robust satisfiability * nonlinear system * undecidability * topological extension problem
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0235753
     
     
  2. 2.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.