Výsledky vyhledávání - "0802 Computation Theory and Mathematics"

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1

    Two-dimensional discrete fuzzy numbers and applications Autor Wang, Guixiang, Shi, Peng, Xie, Yunyan, Shi, Yan

    ISSN: 0020-0255, 1872-6291
    Vydáno: Elsevier Inc 01.01.2016
    Vydáno v Information Sciences (01.01.2016)
    “…In this paper, the concept of two-dimensional discrete fuzzy numbers is presented based on the idea of representation theorem of one-dimensional discrete fuzzy…”
    Získat plný text
    Journal Article
  2. 2

    Compiler optimization correctness by temporal logic Autor Lacey, David, Jones, Neil D., Van Wyk, Eric, Frederiksen, Carl Christian

    ISSN: 1388-3690
    Vydáno: Heidelberg Springer Science and Business Media LLC 01.09.2004
    Vydáno v Higher-Order and Symbolic Computation (01.09.2004)
    Získat plný text
    Journal Article