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. It also considers LISP programming language and shows its relation to the PROLOG type of language. Advanced first-degree and graduate students of computer science; researchers in computer science and logic.
"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