Computability theory, semantics, and logic programming/ Melvin Fitting.
Series: Oxford logic guides ; 13Publication details: New York: Oxford University Press, Oxford: Clarendon Press, 1987.Description: xi, 198 p.: ill.; 24 cmISBN:- 0195036913 (alk. paper)
- 005 F547c
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005 F547c 1987 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000161177 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
004.66 K21l 1968 IMPA Lectures on switching theory/ | 005 A784 2011 IMPA The art of computer programming. Vol. 4A, part 1 / | 005 D687s 1972 IMPA Systems programming/ | 005 F547c 1987 IMPA Computability theory, semantics, and logic programming/ | 005 G287i 1996 IMPA An introduction to programming with Mathematica/ | 005 J78i 2009 IMPA Introduction to scientific programming and simulation using R/ | 005 K79m 1998 IMPA Motion picture restoration: digital algorithms for artefact suppression in degraded motion picture film and video/ |
Includes bibliographies and index.
There are no comments on this title.