Computability theory, semantics, and logic programming / Melvin Fitting.

By: Fitting, Melvin, 1942-Material type: Text

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

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
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

Includes bibliographies and index.

There are no comments on this title.

to post a comment.