Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 14 von 14 für Suche '"Computable functions"', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1
    Theory of recursive functions and effective computability.
    Buch
    von Rogers, H. (Hartley), 1926-
    Veröffentlicht 1967
    Schlagworte: “… Computable functions. …”
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Computability and logic /
    Buch
    von Cohen, Daniel E.
    Veröffentlicht 1987
    Schlagworte: “… Computable functions. …”
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
    Tagungsbericht Buch
    Veröffentlicht 1990
    Schlagworte: “… Computable functions Data processing Congresses. …”
    Zu den Favoriten
    Gespeichert in:
  4. 4
    The theory of computability : programs, machines, effectiveness, and feasibility /
    Buch
    von Sommerhalder, R.
    Veröffentlicht 1988
    Schlagworte: “… Computable functions. …”
    Zu den Favoriten
    Gespeichert in:
  5. 5
    The theory of computer science : a programming approach /
    Buch
    von Brady, J. M.
    Veröffentlicht 1977
    Schlagworte: “… Computable functions. …”
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Computability, complexity, logic /
    Buch
    von Börger, E. (Egon), 1946-
    Veröffentlicht 1989
    Schlagworte: “… Computable functions. …”
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen.
    Buch
    von Hermes, Hans
    Veröffentlicht 1961
    Schlagworte: “… Computable functions. …”
    Zu den Favoriten
    Gespeichert in:
  8. 8
    Edinburgh LCF : a mechanised logic of computation /
    Buch
    von Gordon, Michael J. C., 1948-
    Veröffentlicht 1979
    Schlagworte: “… Computable functions Data processing. …”
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Proceedings of the sixteenth annual ACM Symposium on Theory of Computing : [papers presented at the symposium], Washington, D.C., April 30 - May 2, 1984 /
    Tagungsbericht Buch
    Veröffentlicht 1984
    Schlagworte: “… Computable functions Congresses. …”
    Zu den Favoriten
    Gespeichert in:
  10. 10
    Proceedings of the ... Annual ACM Symposium on Theory of Computing.
    Tagungsbericht
    Veröffentlicht 1982
    Schlagworte: “… Computable functions Congresses. …”
    Volltext
    Connect to ACM Digital Library : Conference Proceedings by series STOC (restricted access) http://purl.nla.gov.au/NET/monash/OPAC/acm/proc
    Full text available online via ACM Digital Library : Conference Proceedings by series STOC (restricted access)
    Full text available online via ACM Digital Library (restricted access)
    Zu den Favoriten
    Gespeichert in:
  11. 11
    Computability with PASCAL /
    Buch
    von Mallozzi, John S.
    Veröffentlicht 1984
    Schlagworte: “… Computable functions Data processing. …”
    Zu den Favoriten
    Gespeichert in:
  12. 12
    Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /
    Tagungsbericht Buch
    Veröffentlicht 1979
    Schlagworte: “… Computable functions Congresses. …”
    Zu den Favoriten
    Gespeichert in:
  13. 13
    Proceedings /
    Tagungsbericht Buch
    Veröffentlicht 1977
    Schlagworte: “… Computable functions Congresses. …”
    Zu den Favoriten
    Gespeichert in:
  14. 14
    Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings /
    Tagungsbericht Buch
    Veröffentlicht 1985
    Schlagworte: “… Computable functions Congresses. …”
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern