Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Theory of recursive functions and effective computability /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | Rogers, H. (Hartley), 1926- |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Cambridge, Mass. :
MIT Press,
c1987.
|
Ταξινομικός αριθμός: |
511.3. ROG |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969) -
Theory of computation /
από: Kozen, Dexter 1951-
Στοιχεία έκδοσης: (2006) -
Computability and logic /
από: Boolos, George.
Στοιχεία έκδοσης: (1989) -
Introduction to computability /
από: Hennie, Frederick C.
Στοιχεία έκδοσης: (1977) -
Recursive macroeconomic theory /
από: Ljungqvist, Lars.
Στοιχεία έκδοσης: (2004)