Foreslåede emner i din søgning.
Showing 1 - 5 results of 5 for search '', Forespørselstid: 0.01s Refine Results
  1. 1
    Recursive analysis.
    Bog
    Føj til favoritter
    Saved in:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Conference Proceeding Bog
    Udgivet 1980
    Føj til favoritter
    Saved in:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Conference Proceeding Bog
    Udgivet 1978
    Føj til favoritter
    Saved in:
  4. 4
    First-order dynamic logic /
    Bog
    af Harel, David, 1950-
    Udgivet 1979
    Føj til favoritter
    Saved in:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Conference Proceeding Bog
    Udgivet 1977
    Føj til favoritter
    Saved in:
Søgeredskaber: ”Modtag RSS Feed – Email denne søgning – Gem søgning