Artículos relacionados a Computability Theory: Semantics and Logic Programming...
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)
Publicado por
Oxford University Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Nuevo
Tapa dura
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: Abebooks2872
Comprar nuevo
EUR 271,26
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles