Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Computability Theory, Semantics, and Logic Programming...
Stock Image
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
Published by
Oxford University Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Used
Hardcover
Seller: My Dead Aunt's Books, Hyattsville, MD, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. "Review Copy from SCIENCE;" "Oxford Logic Guides : 13;" First ed.; 198 p., immaculate and unmarked; binding tight; despite absence of d.j. black boards with bright gilt lettering show minimal wear. Seller Inventory # 050800
Seller Image
Computability Theory, Semantics, and Logic Programming
Published by
Oxford University Press / Clarendon Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Used
Hardcover
First Edition
Seller: Zed Books, New York, NY, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fine. First Edition. First printing. 8vo. 198 pp. Blue cloth. Fine. Spot of faint acidification to front paste down endpaper where price sticker was removed. Seller Inventory # x08200
Stock Image
Computability Theory, Semantics, and Logic Programming
Published by
Oxford University Press Inc, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-317-367
Buy Used
US$ 121.25
US$ 24.13 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available