Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Toon 1 - 16 resultaten van 16 Voor zoekopdracht '', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1
    Computability : an introduction to recursive function theory /
    Boek
    door Cutland, Nigel
    Gepubliceerd in 1980
    Table of contents
    Publisher description
    Toevoegen aan favorieten
    Bewaard in:
  2. 2
    Elementary induction on abstract structures /
    Boek
    door Moschovakis, Yiannis N.
    Gepubliceerd in 1974
    Toevoegen aan favorieten
    Bewaard in:
  3. 3
    Computability with PASCAL /
    Boek
    door Mallozzi, John S.
    Gepubliceerd in 1984
    Toevoegen aan favorieten
    Bewaard in:
  4. 4
    Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
    Conferentie akten Boek
    Gepubliceerd in 1977
    Toevoegen aan favorieten
    Bewaard in:
  5. 5
    Degrees of unsolvability.
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  6. 6
    The medvedev lattice of degrees of difficulty /
    Boek
    door Poulsen, Birgit Truust
    Gepubliceerd in 1970
    Toevoegen aan favorieten
    Bewaard in:
  7. 7
    Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen.
    Boek
    door Hermes, Hans
    Gepubliceerd in 1961
    Toevoegen aan favorieten
    Bewaard in:
  8. 8
    Recursive procedures /
    Boek
    door Bakker, J. W. de (Jacobus Willem de) 1939-
    Gepubliceerd in 1971
    Toevoegen aan favorieten
    Bewaard in:
  9. 9
    The foundations of intuitionistic mathematics, especially in relation to recursive functions /
    Boek
    door Kleene, Stephen Cole, 1909-
    Gepubliceerd in 1965
    Toevoegen aan favorieten
    Bewaard in:
  10. 10
    Theory of recursive functions and effective computability.
    Boek
    door Rogers, H. (Hartley), 1926-
    Gepubliceerd in 1967
    Toevoegen aan favorieten
    Bewaard in:
  11. 11
    Introduction to the theory of computation.
    Boek
    door Engeler, Erwin
    Gepubliceerd in 1973
    Toevoegen aan favorieten
    Bewaard in:
  12. 12
    Recursivite /
    Boek
    door Azra, Jean-Pierre
    Gepubliceerd in 1973
    Toevoegen aan favorieten
    Bewaard in:
  13. 13
    Minimum impatience theorems for recursive economic models /
    Boek
    door Sorger, Gerhard, 1961-
    Gepubliceerd in 1992
    Toevoegen aan favorieten
    Bewaard in:
  14. 14
    Formal systems and recursive functions : proceedings /
    Conferentie akten Boek
    Gepubliceerd in 1965
    Toevoegen aan favorieten
    Bewaard in:
  15. 15
    Recursive function theory and logic /
    Boek
    door Yasuhara, Ann
    Gepubliceerd in 1971
    Toevoegen aan favorieten
    Bewaard in:
  16. 16
    Konstruktive Analysis.
    Boek
    door Klaua, Dieter
    Gepubliceerd in 1961
    Toevoegen aan favorieten
    Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen – Zoekopdracht versturen – Sla zoekopdracht op