Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Computability Theory: Semantics and Logic Programming...
Imagen de archivo
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
Publicado por
Oxford University Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Antiguo o usado
Tapa dura
Librería: My Dead Aunt's Books, Hyattsville, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: 050800
Comprar usado
EUR 87,31
Envío por EUR 4,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computability Theory, Semantics, and Logic Programming
Publicado por
Oxford University Press / Clarendon Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Zed Books, New York, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: x08200
Comprar usado
EUR 88,21
Envío por EUR 5,14
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Computability Theory, Semantics, and Logic Programming
Publicado por
Oxford University Press Inc, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: G-317-367
Comprar usado
EUR 80,99
Envío por EUR 20,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles