Výsledky vyhledávání - "Mathematical logic."

Upřesnit hledání
  1. 1

    Cornerstones of undecidability Autor Rozenberg, Grzegorz

    Vydáno 1994
    Kniha


    Obálka
  2. 2

    An introduction to non-classical logic Autor Priest, Graham

    Vydáno 2001
    Kniha


    Obálka
  3. 3

    An introduction to non-classical logic Autor Priest, Graham

    Vydáno 2001
    Publisher description
    Table of contents
    Kniha


    Obálka
  4. 4

    Deciding first-order properties of locally tree-decomposable structures. Autor Frick, Markus

    Vydáno v Journal of the ACM
    Článek


    Obálka
  5. 5

    Model theory of fields decidability, and bounds for polynomial ideals Autor Van Den Dries, L.P.D. (Laurentius Petrus Dignus)

    Vydáno 1978
    Kniha


    Obálka
  6. 6

    Degrees of unsolvability. Autor Sacks, Gerald E.

    Vydáno 1963
    Kniha


    Obálka
  7. 7

    Logics with aggregate operators. Autor Hella, Lauri

    Vydáno v Journal of the ACM
    Článek


    Obálka
  8. 8

    Deducibility and decidability Autor Gill, R.R. Rockingham

    Vydáno 1990
    Kniha


    Obálka
  9. 9

    Deducibility and decidability Autor Rockingham, Gill R. R.

    Vydáno 1990
    Kniha


    Obálka
  10. 10

    Relational expressive power of constraint query languages. Autor Benedikt, Michael

    Vydáno v Journal of the ACM
    Článek


    Obálka

Vyhledávací nástroje: