Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Introduction to computability /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | Hennie, Frederick C. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Reading, Mass. :
Addison-Wesley Pub. Co.,
c1977.
|
Σειρά: |
Addison-Wesley series in computer science and information processing.
|
Ταξινομικός αριθμός: |
621.3819 HE |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969) -
Introduction to the theory of computation.
από: Engeler, Erwin.
Στοιχεία έκδοσης: (1973) -
Theory of recursive functions and effective computability /
από: Rogers, H. (Hartley), 1926-
Στοιχεία έκδοσης: (1987) -
Computability and logic /
από: Boolos, George.
Στοιχεία έκδοσης: (1989) -
Theory of computation /
από: Kozen, Dexter 1951-
Στοιχεία έκδοσης: (2006)