Computability Theory, Semantics, and Logic Programming - Couverture rigide

Fitting, Melvin

 
9780195036916: Computability Theory, Semantics, and Logic Programming
Couverture rigide
ISBN 10 : 0195036913 ISBN 13 : 9780195036916
Editeur : Oxford University Press Inc, 1987

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Oxford University Press Inc
Date d'édition
1987
Langue
anglais
ISBN 10 
0195036913
ISBN 13 
9780195036916
Reliure
Relié
Nombre de pages
208
Coordonnées du fabricant
non disponible
Personne responsable
Messaggerie Libri
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
Italie