Computability theory, semantics, and logic programming / Melvin Fitting.
By: Fitting, Melvin
.
Material type: 
TextSeries: Oxford logic guides ; 13. Publisher: New York : Oxford : Oxford University Press ; Clarendon Press, 1987Description: xi, 198 p. : ill. ; 24 cm.ISBN: 0195036913 (alk. paper).Subject(s): Computable functions | Data structures (Computer science)DDC classification: 001.64/2 Online resources: Publisher description | Table of contents only
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Library Collection of Informatics and Virtual Education General Collection | QA9.59 .F58 1987 (Browse shelf) | Available | 1877 |
Includes bibliographies and index.
There are no comments for this item.