Search results

Records found: 7  
Your query: Author Sysno/Doc.kind = "^upol_us_auth m0026851 xpca^"

  1. 1.Algebraický přístup k relačním systémům

    Algebraický přístup k relačním systémům [rukopis] / Petr Ševčík.    2015 . 25 s.
    book

    book

  2. 2.BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů

    BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů [rukopis] / Petr Sapák.    2016 . 39
    book

    book

  3. 3.Časové operátory

    Časové operátory [rukopis] / Martin Pospíšil.    2016 . 41 s.
    book

    book

  4. 4.Formalizace spojky implikace v klasické a neklasické logice

    Formalizace spojky implikace v klasické a neklasické logice [rukopis] / Michal Šedík.    2009
    book

    book

  5. 5.Homomorfismy a kongruence relačních grup

    Homomorfismy a kongruence relačních grup [rukopis] / Michal Botur.    2006
    book

    book

  6. 6.MV-algebras

    MV-algebras [rukopis] / Martin Broušek.    2015 . 37 s.
    book

    book

  7. 7.Svazy a polosvazy s unárními operacemi na intervalech

    Svazy a polosvazy s unárními operacemi na intervalech [rukopis] / Petr Zatloukal.    2005
    book

    book



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all