Articoli correlati a Computability Theory, Semantics, and Logic Programming
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Fitting Melvin
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Computability Theory, Semantics, and Logic Programming
Foto dell'editore
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides)
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks2872
Compra nuovo
EUR 271,26
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili