Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 1 - 5 z 5 pro vyhledávání '', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    Recursive analysis.
    Kniha
    Autor Goodstein, R. L. (Reuben Louis)
    Vydáno 1961
    Přidat do oblíbených
    Uloženo v:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Konferenční příspěvek Kniha
    Vydáno 1980
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Konferenční příspěvek Kniha
    Vydáno 1978
    Přidat do oblíbených
    Uloženo v:
  4. 4
    First-order dynamic logic /
    Kniha
    Autor Harel, David, 1950-
    Vydáno 1979
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Konferenční příspěvek Kniha
    Vydáno 1977
    Přidat do oblíbených
    Uloženo v:
Vyhledávací nástroje: RSS – Poslat e-mailem – Uložit hledání