Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Computability Theory, Semantics, and Logic Programming...
Beispielbild für diese ISBN
Computability Theory, Semantics, and Logic Programming
Verlag:
Oxford University Press Inc, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Artikel-Nr. G-317-367
Gebraucht kaufen
EUR 22,04
EUR 16,50 Versand
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
Verlag:
Oxford University Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Gebraucht
Hardcover
Anbieter: My Dead Aunt's Books, Hyattsville, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: 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. Artikel-Nr. 050800
Gebraucht kaufen
EUR 86,87
EUR 4,69 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar