Computability theory, semantics, and logic programming / Melvin Fitting.
Material type:
TextSeries: Oxford logic guides ; 13Publication details: New York : Oxford : Oxford University Press ; Clarendon Press, 1987. Description: xi, 198 p. : ill. ; 24 cmISBN: 0195036913 (alk. paper)Subject(s): Computable functions | Data structures (Computer science)DDC classification: 001.64/2 LOC classification: QA9.59 | .F58 1987Online resources: Publisher description | Table of contents only
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book | UDOM Library - Collection of Informatics and Virtual Education | QA9.59 .F58 1987 (Browse shelf(Opens below)) | Available | 1877 |
Browsing UDOM Library - Collection of Informatics and Virtual Education shelves Close shelf browser (Hides shelf browser)
| QA9.58 .B73 1996 Fundamentals of algorithmics / | QA9.58 .S64 1988 The theory of computability : programs, machines, effectiveness, and feasibility / | QA9.58 .S64 1988 The theory of computability : programs, machines, effectiveness, and feasibility / | 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 / | QA13 .S77 1999 The teaching gap : best ideas from the world's teachers for improving education in the classroom / |
Includes bibliographies and index.
There are no comments on this title.