Risultati della ricerca - "Mathematical logic."

Raffina i risultati
  1. 1

    Cornerstones of undecidability di Rozenberg, Grzegorz

    Pubblicazione 1994
    Libro


    Copertina
  2. 2

    An introduction to non-classical logic di Priest, Graham

    Pubblicazione 2001
    Libro


    Copertina
  3. 3

    An introduction to non-classical logic di Priest, Graham

    Pubblicazione 2001
    Publisher description
    Table of contents
    Libro


    Copertina
  4. 4

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

    Pubblicato in Journal of the ACM
    Articolo


    Copertina
  5. 5

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

    Pubblicazione 1978
    Libro


    Copertina
  6. 6

    Degrees of unsolvability. di Sacks, Gerald E.

    Pubblicazione 1963
    Libro


    Copertina
  7. 7

    Logics with aggregate operators. di Hella, Lauri

    Pubblicato in Journal of the ACM
    Articolo


    Copertina
  8. 8

    Deducibility and decidability di Gill, R.R. Rockingham

    Pubblicazione 1990
    Libro


    Copertina
  9. 9

    Deducibility and decidability di Rockingham, Gill R. R.

    Pubblicazione 1990
    Libro


    Copertina
  10. 10

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

    Pubblicato in Journal of the ACM
    Articolo


    Copertina

Strumenti per la ricerca: