Ebook Info
- Published: 1987
- Number of pages: 218 pages
- Format: PDF
- File Size: 46.75 MB
- Authors: Melvin Fitting
Description
This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author’s work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently ofgreat interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.
User’s Reviews
Keywords
Free Download Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13) in PDF format
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13) PDF Free Download
Download Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13) 1987 PDF Free
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13) 1987 PDF Free Download
Download Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13) PDF
Free Download Ebook Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
