Computability Theory: Semantics and Logic Programming (Oxford Logic Guides) - Hardcover

Fitting, Melvin

 
9780195036916: Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)
Hardcover
ISBN 10: 0195036913 ISBN 13: 9780195036916
Verlag: Oxford University Press Inc, 1987

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Oxford University Press Inc
Erscheinungsdatum
1987
Sprache
Englisch
ISBN 10 
0195036913
ISBN 13 
9780195036916
Einband
Tapa dura
Anzahl der Seiten
208
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italien