Computability Theory, Semantics, and Logic Programming

by Melvin Fitting

3 Members

On This Page

Quick Facts

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 of great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.

Tags

logic (1)
More Tags

Members

Recently Added By
All Members

Author Information

Melvin Fitting
11 Works 136 Members

Series

Belongs to Publisher Series

Common Knowledge

Canonical title
Computability Theory, Semantics, and Logic Programming

Classifications

Genres
Nonfiction, Technology, Science & Nature, Reference
DDC/MDS
001.64 — Computer science, information & general works Computer science, knowledge & systems Knowledge and learning in general [Formerly: Data Processing] [formerly : Electronic]
LCC
QA9.59 .F58 — Science Mathematics Mathematics General
BISAC
More Classifications

Statistics

Members
3
Popularity
4,756,619
Languages
English
Media
Paper
ISBNs
1