Výsledky vyhledávání - "Computing methodologies Symbolic AND algebraic manipulation Symbolic AND algebraic algorithms~"

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

    EXACT UNIFICATION AND ADMISSIBILITY.

    Autoři: CABRER, LEONARDO M. METCALFE, GEORGE

    Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-15, 15p

    Témata: MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models, DISTRIBUTIVE law (Mathematics), DISTRIBUTIVE lattices

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    ON ABSORPTION IN SEMIGROUPS AND n-ARY SEMIGROUPS.

    Autoři: BAŠIĆ, BOJAN

    Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 2, p1-13, 13p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    ADMISSIBILITY IN FINITELY GENERATED QUASIVARIETIES.

    Autoři: METCALFE, GEORGE RÖTHLISBERGER, CHRISTOPH

    Zdroj: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-19, 19p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: