Computations in higher types
Material type:
TextLanguage: English Series: Lecture notes in mathematics; v 574Publication details: Berlin Springer-Verlag 1977Description: iv,203pISBN: - 3-540-08132-1
- 511.35 M717
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.35 M717 (Browse shelf(Opens below)) | Available | 90334 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| 511.35 M175 Quantum cellular automata | 511.35 M379 Introduction to languages and the theory of computation/ | 511.35 M678 Theory of computer science (automata, languages and computation)/ | 511.35 M717 Computations in higher types | 511.35 N849 Recursion on the countable functionals | 511.35 Od24 Classical recursion theory : the theory of functions and sets of natural numbers | 511.35 Od24 Classical recursion theory |
There are no comments on this title.
Log in to your account to post a comment.
