The theory of computability : programs, machines, effectiveness, and feasibility / R. Sommerhalder, S.C. van Westrhenen.
Material type: TextSeries: International computer science seriesPublication details: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1988.Description: xii, 441 p. ; 23 cmISBN:- 0201142147 :
- 511/.8 19
- QA9.58 .S64 1988
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection General Collection | QA9.58 .S64 1988 (Browse shelf(Opens below)) | Available | 11147 |
Browsing Informatics and Virtual Education Library Collection shelves, Shelving location: General Collection Close shelf browser (Hides shelf browser)
QA9.54 .O45 2002 The structure of proof : | QA9.58 .B73 1996 Fundamentals of algorithmics / | QA9.58 .S64 1988 The theory of computability : | QA9.58 .S64 1988 The theory of computability : | QA9.59 .F58 1987 Computability theory, semantics, and logic programming / | QA9.59 .M34 1984 Computability with PASCAL / | QA9.615 .R64 1987 Theory of recursive functions and effective computability / |
Includes index.
Bibliography: p. 429-433.
There are no comments on this title.
Log in to your account to post a comment.