Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Computability and logic /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | Boolos, George. |
---|---|
Άλλοι συγγραφείς: | Jeffrey, Richard C. |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Cambridge :
Cambridge University Press,
1989.
|
Έκδοση: | 3rd ed. |
Ταξινομικός αριθμός: |
511.3 BO |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969) -
Theory of recursive functions and effective computability /
από: Rogers, H. (Hartley), 1926-
Στοιχεία έκδοσης: (1987) -
Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990) -
Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997) -
Logic /
από: Hodges, Wilfrid.
Στοιχεία έκδοσης: (1977)