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, 13)
Editore:
Oxford University Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Antico o usato
Rilegato
Da: My Dead Aunt's Books, Hyattsville, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo 050800
Compra usato
EUR 86,60
EUR 4,24 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Computability Theory, Semantics, and Logic Programming
Editore:
Oxford University Press / Clarendon Press, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Antico o usato
Rilegato
Prima edizione
Da: Zed Books, New York, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo x08200
Compra usato
EUR 87,49
EUR 5,10 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computability Theory, Semantics, and Logic Programming
Editore:
Oxford University Press Inc, 1987
ISBN 10: 0195036913
ISBN 13: 9780195036916
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo G-317-367
Compra usato
EUR 99,99
EUR 20,50 shipping
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili