Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseЭкотизим учун очиқ API
← Ишга қайтиш

Ушбу иш иқтибос қилган ишлар

12 та иш

Иш: Computably Separable Models

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 иқтибос
    ABI

  2. Separation axioms and partitions of the set of natural numbers

    N. Kh. Kasymov

    Мақола199313 иқтибос
    ABI

  3. Рекурсивно отделимые нумерованные алгебры

    Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов

    Мақола19968 иқтибос
    ABI

  4. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Мақола20018 иқтибос
    ABI

  5. LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Мақола20168 иқтибос
    ABI

  6. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

    Боб19797 иқтибос
    ABI

  7. Some definitions for algebraic data type specifications

    Sam Kamin

    Мақола19797 иқтибос
    ABI

  8. Hierarchies of Boolean algebras

    Lawrence Feiner

    Мақола19706 иқтибос
    ABI

  9. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

    Мақола19745 иқтибос
    ABI

  10. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  11. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  12. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI