Predložene teme unutar tvog pretraživanja.
Prikaz rezultata 1 – 5 od 5 za pretraživanje '', vrijeme pretraživanja: 0,01s Detaljiziraj rezultate
  1. 1
    Recursive analysis.
    Knjiga
    Spremi u popis
    Spremljeno u:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Izvještaj sastanka Knjiga
    Izdano 1980
    Spremi u popis
    Spremljeno u:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Izvještaj sastanka Knjiga
    Izdano 1978
    Spremi u popis
    Spremljeno u:
  4. 4
    First-order dynamic logic /
    Knjiga
    od Harel, David, 1950-
    Izdano 1979
    Spremi u popis
    Spremljeno u:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Izvještaj sastanka Knjiga
    Izdano 1977
    Spremi u popis
    Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak – Pošalji ovo pretraživanje e-poštom – Spremi pretraživanje