Rekommenderade teman
Visas 1 - 5 av 5 resultat för sökning '', Sökningstid : 0,01s Förfina resultatet
  1. 1
    Recursive analysis.
    Bok
    av Goodstein, R. L. (Reuben Louis)
    Publicerad 1961
    Lägg till i favoriter
    Sparad:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Konferenspublikation Bok
    Publicerad 1980
    Lägg till i favoriter
    Sparad:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Konferenspublikation Bok
    Publicerad 1978
    Lägg till i favoriter
    Sparad:
  4. 4
    First-order dynamic logic /
    Bok
    av Harel, David, 1950-
    Publicerad 1979
    Lägg till i favoriter
    Sparad:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Konferenspublikation Bok
    Publicerad 1977
    Lägg till i favoriter
    Sparad:
Sökverktyg: RSS-flöde – Skicka sökningen per e-post – Spara sökningen